Abstract
For Schrödinger operators with potentials that are asymptotically homogeneous of degree \(-2\), the size of the coupling determines whether it has finite or infinitely many negative eigenvalues. In the latter case, the asymptotic accumulation of these eigenvalues at zero has been determined by Kirsch and Simon. A similar regime occurs for potentials that are not asymptotically monotone but oscillatory. In this case, when the ratio between the amplitude and frequency of oscillation is asymptotically homogeneous of degree \(-1\), the coupling determines the finiteness of the negative spectrum. We present a new proof of this fact by making use of a ground-state representation. As a consequence of this approach, we derive an asymptotic formula analogous to that of Kirsch and Simon.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For the self-adjoint Schrödinger operator \({-\Delta -V}\) in \(L^2({\mathbb {R}}^d)\), the decay rate of V near infinity determines whether its negative spectrum is finite. It is known (see e.g. [5]) that if there exists \(R<\infty \) such that
then the number of its negative eigenvalues is finite. Conversely, if V has slower decay where there are \(\varepsilon >0\) and \(R<\infty \) such that
then the operator has infinitely many negative eigenvalues, accumulating at zero.
In both regimes, there has been much success in bounding the number or determining the exact asymptotic accumulation of these negative eigenvalues. A standard phase space heuristic suggests that the number of eigenvalues below \(-E\le 0\), which we denote by \(N_E(V)\), should coincide with the volume of
Many results are semiclassical, corroborating this prediction. Most notable is the Cwikel-Lieb-Rozenblum inequality [3, 12, 15], which states that for \(d\ge 3\)
Furthermore, according to [14, Theorem XIII.82], if \(V(x)=\lambda {\left| x\right| _{}}^{-2+\varepsilon }(1+o(1))\) towards infinity, then
In [10], Kirsch and Simon found analogous asymptotics in the borderline case, where the potential satisfies
In this scenario, despite the finiteness of \(N_0(V)\) for small couplings \(\lambda \), the volume of \(\Omega _E(V)\) diverges logarithmically. Consequently, adjustments to the conventional phase space volume are necessary. The main result in [10], with its subsequent improvement by Hassell and Marshall in [7], states that
where \(\{\Lambda _k\}_{k=1}\) are the eigenvalues of the spherical Laplacian, \(-\Delta _{{\mathbb {S}}^{d-1}}\) in \(L^2({\mathbb {S}}^{d-1})\).
Thus far we have noted that the nature of the negative spectrum bifurcates according to whether the potential lies above or below a critical function with regular decay. However, Willett [19] and Wong [20] have demonstrated that in one dimension, the potential
generates only finitely many negative eigenvalues for \({\left| \lambda \right| _{}}\le 1/\sqrt{2}\) and infinitely many for \({\left| \lambda \right| _{}}>1/\sqrt{2}\). The significance of the coupling constant for this potential, and the fact its oscillatory nature supports much slower decay, is not predicted by semiclassical heuristics.
In this paper, we are concerned with the effect of oscillatory behaviour on \(N_E(V)\) as \(E\downarrow 0\). To this end, our main result is an analogue of (4) for a large class of potentials that exhibit this critical coupling behaviour.
Theorem 1
Let \(V\in L^\infty _{\textrm{loc}}({\mathbb {R}}^d)\) satisfy
for any \(\alpha >0\) and \(\lambda \in {\mathbb {R}}\). Then
where \(\{\Lambda _k\}_{k=1}\) denote the eigenvalues of \(-\Delta _{{\mathbb {S}}^{d-1}}\) in \(L^2({\mathbb {S}}^{d-1})\). In particular, if \(|\lambda |\le \alpha {\left| d-2\right| _{}}/\sqrt{2}\) then \(N_0(V)\) is finite.
In this result, both potentials with slow decay and rapid growth are permissible, subject to the rate of oscillation at infinity. Analogously to the standard conditions (1) and (2), we will demonstrate that if a potential oscillates or decays faster than the critical case (5), then \(N_0(V)\) will be finite (or infinite, conversely).
The difficulty in studying such operators comes from the absence of simple variational methods. Standard upper or lower bounds of the potential do not capture the intricate interactions between its attractive and repulsive parts. To overcome this, we use an idea of Combescure and Ginibre from [1, 2]. Specifically, we leverage a ground-state representation to transform our operator to one with a purely attractive potential that subsumes the original repulsive components. It is a result of this transformation that the leading term in (6) is \(O(\lambda ^d)\), while all the aforementioned results scale with the semiclassical \(O(\lambda ^{d/2})\).
We note that in [13] Raikov has determined the result above for \(\alpha =1\). He considers a larger class of potentials which consist of the product of an almost periodic function and a function that decays asymptotically with degree \(-1\). Similarly, the author reduces the operator to one with an effective attractive potential. However, the case of rapid (or slow) oscillation rates is illusive to the approach in [13]. Our results refine this in the radial regime from a somewhat different perspective.
A direct consequence of the formula in Theorem 1, is that the negative eigenvalues that accumulate to zero can be characterised, up to a constant factor.
Corollary 2
Let V be as in Theorem 1 and denote by \(\{\lambda _k(V)\}_{k=1}\) the negative \(-\Delta -V\) in \(L^2({\mathbb {R}}^d)\), in ascending order. Then there exist \(C,c>0\) and \(K\in {\mathbb {N}}\) such that
where \(M=M(\lambda ,\alpha ,d)\) is the coefficient of \({\left| \ln E\right| _{}}\) in (6).
The plan for the paper is as follows. In Sect. 2, we recall how Hardy’s inequality can be applied to obtain conditions (1) and (2). Then in Sect. 3 we introduce the ground-state representation and apply it to determine the critical nature of the oscillating potentials (5). Finally, in Sect. 4, we use this representation with the method of Hassell and Marshall from [7] to prove Theorem 1.
2 Hardy’s Inequality and Finiteness of the Negative Spectrum
Hardy’s inequality serves as an immediate precursor to the condition (1), establishing that potentials bounded everywhere by a reduced form of (1) yield no negative eigenvalues. It states that
To generalise this to the condition (1), which pertains to the asymptotic behaviour of potentials, one can use specific variants of this inequality together with bracketing methods. We recall this argument, which can be found in [4, 5].
Suppose that the operator \(-\Delta -V\) in \(L^2({\mathbb {R}}^d)\) is well defined in the form sense with form domain \(H^1({\mathbb {R}}^d)\). Then, through bracketing, we can reduce it by imposing Robin boundary conditions along the boundary of the ball \(B_R=\{x:{\left| x\right| _{}}<R\}\), for any \(R>0\). Namely, for any \(\sigma \in {\mathbb {R}}\), take \(H^{-}_{\sigma ,R}\) and \(H^{+}_{\sigma ,R}\) to be the unique operators corresponding to the quadratic forms
with form domains \(H^1(B_R)\) and \(H^1(\overline{B_R}^c)\), respectively, where \(d\nu \) denotes the surface measure on \(\partial B_R\). Then the operator \(-\Delta -V\) is bounded from below, in the form sense, by the direct sum \(H_{\sigma ,R}^{-}\oplus H_{\sigma ,R}^{+}\). In particular
where we take \(N_E(\ \cdot \ )\) to count the eigenvalues of the enclosed operator below \(-E\). Under fairly general assumptions on V, the spectrum of \(H_{\sigma ,R}^{-}\) is purely discrete, and thus \(N_0(H_{\sigma ,R}^{-})<\infty \). As a result, the finiteness of \(N_0(V)\) follows from that of \(N_0(H^{+}_{\sigma ,R})\).
If we can choose R such that
then we can invoke a Robin variant of Hardy’s inequality due to Kovařík and Laptev [11]. It states that if \(\sigma \ge 1/2R\), then for any \(u\in H^1(\overline{B_R}^c)\)
Thus, after selecting an appropriately large \(\sigma \), it transpires that \(N_0(H_{\sigma ,R}^{+})=0\) and we deduce from (9) that \(N_0(V)\) is finite.
To include the logarithmic term in (1), a coordinate transformation can be applied to (10). This inequality is established below, in a one-dimensional setting, featuring general weights that play a role in Sect. 3.
Lemma 3
Let \(\rho \in {\mathbb {R}}\) and \(R>1\). Then for any \(\sigma \ge R^{\rho -1}((\ln R)^{-1}+(1-\rho ))/2\),
for all \(u\in H^1((R,\infty ),r^{\rho }\, \textrm{d}r)\).
Proof
Let \(v(r):=r^{(\rho -1)/2}u(r)\), then proving the stated inequality is equivalent to showing that
Now making the substitution \({\widetilde{v}}(t):=v(e^t)\) we see that this changes to
but this inequality, under the conditions imposed on \(\sigma \), is exactly that of Kovařík and Laptev (10). \(\square \)
Now we address the converse claim, (2), asserting that slow asymptotic decay leads to infinitely many negative eigenvalues.
The operator \(-\Delta -V\) can be bounded from above by imposing Dirichlet boundary conditions on \(\partial B_R\). That is, if we let \(H^{-}_{\infty ,R}\) and \(H^{+}_{\infty ,R}\) correspond to the forms (8) with respective domains \(H^1_0(B_R)\) and \(H^1_0(\overline{B_R}^c)\), then
Under the condition that \(R<\infty \) and \(\varepsilon >0\) can be selected so that
the subsequent lemma establishes an infinite-dimensional subspace of \(L^2(\overline{B_R}^c)\) corresponding to the negative spectrum of \(H^{+}_{\infty ,R}\), and thus \(N_0(V)=\infty \).
Lemma 4
Let \(\rho \in {\mathbb {R}}\) and \(R\ge 0\). Then for any \(\varepsilon >0\) there exists an infinite sequence of \(\{u_k\}_{k=1}\subset H_0^1((R,\infty ), r^\rho \, \textrm{d}r)\) which are orthonormal in \(L^2((R,\infty ),r^\rho \, \textrm{d}r)\) and satisfy
Proof
Note that we can carry out the same change of coordinates used in Lemma 3. Then it is sufficient to show that there is an infinite sequence of compactly supported and bounded functions \(v_k\), with disjoint supports, such that
Moreover, it is only necessary to determine this with \(R=1\) for one function supported in \((0,\infty )\). To see this, note that if \({{\widetilde{v}}}\) is such that \(h[{{\widetilde{v}}}]<0\), where
then for any \(\kappa >0\), under the unitary operator \({\mathcal {U}}_\kappa v(t):=\kappa ^{-1/2} v(\kappa ^{-1} t)\),
Thus we can choose \(\kappa \) large enough so that the support of \({\mathcal {U}}_\kappa {\widetilde{v}}\) lies in \((\ln R,\infty )\) and satisfies (11). Iterating this scaling argument, we can construct the desired sequence of disjointly supported functions (see e.g. [14, Theorem XIII.6]).
Now consider the function \(v_L(t)=\sqrt{t}\left( 1-\frac{{\left| \log t\right| _{}}}{\log L}\right) _+\) with \(L> 1\), which is supported in [1/L, L]. Then we can calculate that
whereas
Thus fixing L to be sufficiently large and taking \({\widetilde{v}}(t)=v_L(t)\) concludes the result. \(\square \)
Lemma 3 and 4 will be enough to determine when our oscillatory potentials generate finitely or infinitely many negative eigenvalues. However, we note that there are general forms of Hardy’s inequality which apply directly to such potentials. The following is generally attributed to Kats and Krein [9].
Lemma 5
Let \(V\in L^1_{\textrm{loc}}({\mathbb {R}}_+)\), then for any \(u\in C_0^\infty ({\mathbb {R}}_+)\)
Proof
Take \(W(t):=\int _t^\infty V(s)\, \textrm{d}s\) and \(\lambda :=\sup _{t>0}t^{-1}{\left| W(t)\right| _{}}\). Using integration by parts, \((|u|^2)^\prime =2\textrm{Re}\left( u\overline{ u^\prime }\right) \) and Cauchy-Schwarz leads to
Applying the standard version of Hardy’s inequality, (7), produces the result. \(\square \)
Although the proof is identical to that in [9], we note that this inequality typically presupposes V to be positive, except for an analogous formulation presented by Hille and Hartman [6, 8]. This distinction leads, for instance, to the following bounds, which state that for any \(\alpha >0\)
These inequalities already indicate the critical nature of the oscillating potentials in Theorem 1. However, comparing its statement with (12), we see that the constant fails to capture the exact coupling value for which these potentials generate finitely many negative eigenvalues.
The insight offered by Lemma 5 is that integral conditions, as opposed to pointwise ones, play a crucial role in grasping the impact of oscillations. This emerges as a fundamental feature of our subsequent analysis.
3 A Ground-State Representation
In this section, we introduce our main tool for studying Schrödinger operators with oscillating potentials. Since we wish to deal with potentials of the type
we begin by showing that the Schrödinger operators \(-\Delta -V\) are well defined. Subsequently, we will show that its negative spectrum is discrete, even in the case where \(\beta >0\). We note that this has been shown in [16], but we include the argument for the sake of completeness. For convenience, we operate under the assumption that our potentials are locally bounded.
Proposition 6
Suppose that \(V\in L^{\infty }_{\textrm{loc}}({\mathbb {R}}^d)\). If
then V is form bounded with respect to \(-\Delta \), with relative bound zero.
Proof
Let \(u\in C^\infty _0({\mathbb {R}}^d)\), then for any \(R<\infty \),
To bound the second term, we work in spherical coordinates \((r,\omega )\in {\mathbb {R}}_+\times {\mathbb {S}}^{d-1}\), \(r=|x|\), and \(\omega =x/r\). Let \(W(r\omega ):=\int _r^\infty V(s\omega )\, \textrm{d}s\), then
where \(\varepsilon _R:=\sup _{r>R,\omega \in {\mathbb {S}}^{d-1}}{\left| W(r\omega )\right| _{}}\). Label by \(\mathrm {(I)}\) and \(\mathrm {(II)}\) the first and second terms in the last line.
Using Cauchy-Schwarz and the trivial inequality \(2ab\le a^2+b^2\), for \(a,b\ge 0\), we see that
Then for the second term,
which we can bound by using the same approach as for \(\mathrm {(I)}\).
Putting this together, we find that
Under the given assumptions of V, we can choose R so that \(\varepsilon _R\) is arbitrarily small. This concludes the result. \(\square \)
Then it is clear that the operators considered in Theorem 1 are well defined in the sense of quadratic forms with \(C_0^\infty ({\mathbb {R}}^d)\) as their form core. This follows more generally for the potentials (13) with \(\alpha >0\) and \(\alpha -\beta >1\), since for any \(\omega \in {\mathbb {S}}^{d-1}\)
Proposition 7
Let \(V\in L^\infty _{\textrm{loc}}({\mathbb {R}}^d)\) satisfy the condition of Proposition 6, then the essential spectrum of \(-\Delta -V\) in \(L^2({\mathbb {R}}^d)\) coincides with \([0,\infty )\).
Proof
By Weyl’s theorem, it suffices to show that for any sequence \(\{u_k\}_{k=1}\) which converges weakly to zero in \(H^1({\mathbb {R}}^d)\) that \(\int _{{\mathbb {R}}^d}V{\left| u_k\right| _{}}^2\, \textrm{d}x\rightarrow 0\).
We have shown in the proof of Proposition 6 that for any \(\varepsilon >0\) we can find \(R<\infty \) such that for all \(u\in H^1({\mathbb {R}}^d)\)
Thus, it follows that
where we have used that \(\chi _{B_R}u_k\rightarrow 0\) in \(L^2(B_R)\) (see [5, Proposition 2.36]). Since we can bound the supremum on the right by the Banach-Steinhaus theorem and choose any \(\varepsilon >0\) the assertion holds. \(\square \)
Now we are ready to introduce a ground-state representation for the operators we have just defined. The approach we detail was used by Combescure and Ginibre in [1, 2], where they also investigated oscillating potentials. Among their results is a version of the three-dimensional Birman–Schwinger bound for \(N_0(V)\) in terms of a function W which satisfies \(\nabla \cdot W=-V\). However, they did not consider more qualitative conditions for the finiteness of \(N_0(V)\).
Consider the operator \(H_0:=-\frac{\textrm{d}^2}{\textrm{d}r^2}-V \text { in }L^2({\mathbb {R}}_+)\) with Dirichlet boundary conditions at zero. Let W be a measurable function satisfying \(W^\prime =-V\), e.g. \(W(r)=\int _r^{\infty } V(s)\, \textrm{d}s\). Under the assumption that \(V\in L^\infty _{\textrm{loc}}({\mathbb {R}}^d)\) and W(r) decays to zero, \(H_0\) is well defined, as demonstrated in Proposition 6.
If we introduce the operator \(D=\frac{\textrm{d}}{\textrm{d}r}-W\) with domain \(H_0^1({\mathbb {R}}_+)\), then the operator \({{\widetilde{H}}}_0:=H_0+W^2\) factorises as \(D^*D={{\widetilde{H}}}_0\). To see this, note that for any \(u\in H^1_0({\mathbb {R}}_+)\),
which, by the expansion
leads to the equality in the sense of quadratic forms.
To obtain a ground-state representation, suppose that U is some measurable function satisfying \(U^\prime =W\), e.g. \(U(x)=\int _0^r W(s)\, \textrm{d}s\). Then \(e^{U}\) serves as an effective ground state for \({{\widetilde{H}}}_0\), leading to
Consider the unitary transformation \({\mathcal {U}}:L^2({\mathbb {R}}_+,e^{2U}\, \textrm{d}r)\rightarrow L^2({\mathbb {R}}_+,\, \textrm{d}r)\) given by \({\mathcal {U}}u=e^{U}u\). Then we have demonstrated that
where the right side is a Sturm-Liouville operator with Dirichlet conditions at 0.
If, more generally, we consider the operator \(H_{\sigma ,R}=-\frac{\textrm{d}^2}{\textrm{d}r^2}-V\) on \(L^2(R,\infty )\) with Robin boundary conditions, \(u^\prime (R)-\sigma u(R)=0\), then under the same unitary transformation it follows that
where the Sturm-Liouville operator has Robin boundary conditions with coefficient \({\widetilde{\sigma }}=e^{2U(R)}(\sigma -W(R))\). Namely it corresponds to the quadratic form
Now in application, suppose that U decays to zero at infinity. Then the operators above become asymptotically equivalent to a Schrödinger operator with potential \(W^2\). Then, seemingly, we can apply conditions like (1) and (2) to \(W^2\). The core of the subsequent theorem is to employ and iterate this idea twice.
Theorem 8
Let \( V \in L^\infty _{\textrm{loc}}({\mathbb {R}}^d) \) satisfy
where \( \alpha > 0 \), \( \alpha -\beta > 1 \), and \( 2\alpha -\beta > 2 \). Then the negative spectrum of \( -\Delta - V \):
-
(1)
Consists of finitely many negative eigenvalues if either of the following holds:
-
(a)
\( \alpha -\beta > 2 \) for any \( \lambda \in {\mathbb {R}}\),
-
(b)
\( \alpha -\beta = 2 \) and \( |\lambda | \le \alpha |d-2|/\sqrt{2} \).
-
(a)
-
(2)
Consists of infinitely many negative eigenvalues, accumulating at zero, if either of the following holds:
-
(a)
\( \alpha -\beta < 2 \) for any \( \lambda \in {\mathbb {R}}\backslash \{0\} \),
-
(b)
\( \alpha -\beta = 2 \) and \( |\lambda | > \alpha |d-2|/\sqrt{2} \).
-
(a)
Proof
For any \(\varepsilon \in (0,1/4)\) we can choose \(R<\infty \) sufficiently large such that
We start by showing (1). Using (15), we can bound the operator from below by replacing V with
Then, following the argument in Sect. 2 we reduce this operator further by imposing Robin boundary conditions on \(\partial B_R\). Let \(H_{\sigma ,R}^{-}\) and \(H_{\sigma ,R}^{+}\) denote the respective restrictions of this reduced operator on \(L^2(B_R)\) and \(L^2(\overline{B_R}^c)\) with the corresponding forms (8). Then
where from \(V\in L^\infty _{\textrm{loc}}({\mathbb {R}}^d)\) it follows that \(N_0(H_{\sigma ,R}^{-})<\infty \).
Changing to polar coordinates, we can use separation of variables in the eigenbasis of \(-\Delta _{{\mathbb {S}}^{d-1}}\) corresponding to the eigenvalues \(\{\Lambda _k\}_{k=1}\). It follows that \(H^+_{R,\sigma }\) can be written as the direct sum
where each are considered on \(L^2((R,\infty ),\, \textrm{d}r)\) with Robin boundary coefficient \({{\widetilde{\sigma }}}:=(1-d)/2R+R^{1-d}\sigma \). We denote each of these by \(h^{(k)}_{\sigma ,R}\) and note that
Now we reduce each of these operators using the ground-state representation above. Most importantly, we apply it only with respect to the oscillatory part of the potential. For \(\alpha -\beta >1\), as \(r\rightarrow \infty \), we have
and if \(2\alpha -\beta >2\), then
From this asymptotic behaviour, we can enlarge R so that each \(h^{(k)}_{\sigma ,R}\) is unitarily equivalent, via \({\mathcal {U}}\varphi =e^{U}\varphi \), to an operator which can be bounded from below by
where the above are considered in \(L^2(R,\infty )\) with Robin boundary coefficient \({\widetilde{\sigma }}-W(R)\). Note that we have moved the lower-order parts of W and U onto the logarithmic term. Thus,
At this stage if \(\alpha -\beta >2\) then by choosing R and \(\sigma \) suitably large, we can apply Lemma 3 with \(\rho =0\) to each of these operators uniformly. In fact, we only have to check \(k=1\) where \(\Lambda _1=0\). Then each generates no negative eigenvalues and it follows that \(N_0(V)<\infty \).
For (1), it remains to consider the case where \(\alpha -\beta =2\). To do so, we repeat the argument with respect to the operators \({\widetilde{h}}_{\sigma ,R}^{(k)}\). Note that
and
Thus, after taking R to be sufficiently large and applying the ground-state representation, we see that each of the operators \({\widetilde{h}}^{(k)}_{\sigma ,R}\) are unitarily equivalent to an operator bounded from below by
in \(L^2((R,\infty ),r^{\lambda ^2/\alpha ^2}\, \textrm{d}r)\) with Robin boundary conditions \(({\widetilde{\sigma }}-W(R)-W^2(R))\). Then after choosing \(\sigma \) suitably large we can apply Lemma 3 with \(\rho =\lambda ^2/\alpha ^2\). It follows that the operators are uniformly positive if \(\lambda ^2/\alpha ^2\le (d-2)^2/2\). This concludes the statement (1).
To prove (2), we apply similar reasoning. Starting with (15), we can bound the operator from above by making the potential smaller. Then we use bracketing and study the part of this operator restricted to \(\overline{B_R}^c\) with Dirichlet conditions. If we denote this Dirichlet operator by \(H^{+}_{\infty ,R}\), then it follows that
Using separation of variables, this operator can be decomposed into the direct sum of
each with Dirichlet boundary conditions on \(L^2(R,\infty )\).
In the case where \(\alpha -\beta =2\), we use the ground-state representation twice in the same way as before. Then each of the operators can be bound from above by
in \(L^2((R,\infty ),r^{\lambda ^2/\alpha ^2}\, \textrm{d}r)\) with Dirichlet conditions. Then if \(\lambda ^2/\alpha ^2>(d-2)^2/2\) we can apply Lemma 4 to show that the operator corresponding to \(k=1\) produces an infinite number of negative eigenvalues, proving statement (b).
Then it remains to prove (2a) where \(\alpha -\beta <2\). In this case, we apply the ground-state representation twice with a modification to \({\widetilde{W}}\) in the second step. If \(\alpha -\beta \ne 3/2\) then we have that
where we either take \(\int _r^\infty \cdot \, \textrm{d}s\) or \(-\int _R^r \cdot \, \textrm{d}s\) with the integrand as above. Whereas if \(\alpha -\beta =3/2\) we use the latter form and find that
In either case we take \({\widetilde{U}}(r)=\int _R^r {\widetilde{W}}(s)\, \textrm{d}s\) as before.
Consider just the \(k=1\) component of the Dirichlet operator. Then from the above it is unitarily equivalent to an operator with quadratic form
The leading term of the potential \({\widetilde{W}}(r)^2\) is strictly positive and asymptotically homogeneous to a degree strictly larger than \(-2\). Then for any positive \(u\in C_0^\infty (R,\infty )\) we can scale it to ensure that the form above is strictly negative (see [14, Theorem XIII.6]). Similarly to the proof of Lemma 4 this leads to an infinite-dimensional subspace of \(L^2((R,\infty ),e^{2{\widetilde{U}}}\, \textrm{d}r)\) for which the form is negative. This concludes the proof of the statement (2a). \(\square \)
We finish this section with a couple of remarks.
Remark 9
In the statement of the theorem we can consider potentials that oscillate like \(\lambda {\left| x\right| _{}}^\beta \sin \mu {\left| x\right| _{}}^\alpha \). Scaling shows that the statement remains the same where in the critical case the conditions on \({\left| \lambda \right| _{}}\) are substituted with those on \({\left| \lambda /\mu \right| _{}}\).
Another generalisation can be made with respect to the error \(o(({\left| x\right| _{}}\ln {\left| x\right| _{}})^{-2})\). We can add to V in (14) any \(o(\cdot )\) correction of the form
without changing the result. This follows by encorporating this term in the ground-state representation.
Remark 10
Regarding the other rapidly oscillating example mentioned in [13, 16], which asymptotically behaves like
it is evident from the above that it possesses a finite number of negative eigenvalues for any coupling constant \(\lambda \). In fact, it is clear that our techniques could be extended to a broader category of rapidly oscillating potentials.
4 Proof of Theorem 1
In this section, we combine the tools from the previous two sections with the method used by Hassell and Marshall in [7] to prove Theorem 1. Specifically, we will employ the Sturm oscillation theorem (see e.g. [18]) which was used originally in the works [19, 20] to establish the critical nature of oscillating potentials in one dimension.
Proof of Theorem 1
For the case where \({\left| \lambda \right| _{}} \le \alpha {\left| d-1\right| _{}}/\sqrt{2}\), the result is immediate from Theorem 8. We henceforth fix \({\left| \lambda \right| _{}}>\alpha {\left| d-1\right| _{}}/\sqrt{2}\).
Following the approach in Theorem 8 we can bound \(-\Delta -V\) from below by the direct sum of operators \(H_{\sigma ,R}^{-}\oplus H_{\sigma ,R}^{+}\) with Robin boundary conditions. Moreover, for any \(\varepsilon >0\) we can select \(R<\infty \) such that \(N_0(H_{\sigma ,R}^{-})<\infty \) and \(H_{\sigma ,R}^{+}\) can be bounded below by the direct sum of
each in \(L^2((R,\infty ),r^{\lambda ^2/\alpha ^2}\, \textrm{d}r)\) with certain Robin boundary conditions. Note that eventually there is a \(K\in {\mathbb {N}}\) for which \(4\Lambda _k+(d-1)(d-3)+1\ge 2\lambda ^2/\alpha ^2\) for all \(k> K\). Therefore, by Lemma 3 only the first K operators in the direct sum produce any negative eigenvalues.
For each of these operators, we can use a variational trick and swap out the Robin boundary conditions for Dirichlet conditions. Imposing this boundary condition amounts to a rank-one perturbation of the free resolvent, and thus by the Birman–Schwinger principle we only change the number of negative eigenvalues of each operator by at most one; see, for instance, [17, Chapter 7]. Denoting these operators by \(h^{(k)}_{R}\) we have that
To calculate the asymptotic behaviour of each \(N_E(h^{(k)}_{R})\) as \(E\downarrow 0\) we use the Sturm oscillation theorem. Fixing k, this classical result states that \(N_E(h^{(k)}_{R})\) coincides with the number of zeros of any u satisfying
Introducing variables \(\rho =\lambda ^2/\alpha ^2\) and \(\eta _k=\left( 2\rho -(d-2)^2-4\Lambda _k\right) /4>0\), and taking \(v(r):=r^{(\rho -1)/2}u(r)\) the equation transforms to
Finally, taking \({\widetilde{v}}(t)=v(e^{t})\) this changes to
where \(Q(t)=\eta _k-E e^{2t}+\varepsilon /t^2\). Then, finding \(N_{E}(h_{R}^{(k)})\) is equivalent to counting the number of zeros of \({\widetilde{v}}\) in \((\ln R,\infty )\).
We determine the zeros of the solution \({\widetilde{v}}\) using the Prüfer variable \(\theta (t)\), defined by
It follows that \({\widetilde{v}}(t)=0\) if and only if \(\theta (t)/\pi \in {\mathbb {Z}}\), and so we fix \(\theta (\ln R)=0\), given the Dirichlet conditions at \(t=\ln R\). Combining the definition of \(\theta \) with the equation for \({\widetilde{v}}\) we see that
and thus
Then, whenever \({\widetilde{v}}(t)=0\) we have \(\theta ^\prime (t)=\sqrt{\eta _k}>0\), and so between any two consecutive zeros of \({\widetilde{v}}\) the value of \(\theta \) must increase by \(\pi \). As a result, for any \(a\le b\) with \(a\ge \ln R\) and \(\widetilde{v}(a)=0\) it holds that
If \(Q(t)< 0\) for all \(t>t_0\), then \({\widetilde{v}}(t)\) is no longer oscillatory. To see this, note that if \({\widetilde{v}}\) has a local minimum or maximum at some \(\tau > t_0\), then \(\cos (\theta (\tau ))=0\) and \(\theta '(\tau )=Q(\tau )/\sqrt{\eta _k}<0\). Therefore, there can only be one additional zero past \(t_0\), since \(\theta \) cannot move beyond \(\tau \). Consequently, to estimate the number of zeros of \({\widetilde{v}}\) we only need to find \(t_0\) and the number of zeros in \((\ln R,t_0)\).
Solving \(Q(t_0)=0\) leads to
Then the total number of zeros of \({{\widetilde{v}}}\) is equal to \((\theta (t_0)-\theta (\ln R))/\pi +O(1)\) and
where we have used that as \(E\downarrow 0\),
which in addition with other components of \(\theta ^\prime \), e.g. that coming from the term \(\varepsilon /t^2\), leads to the O(1) remainder in (16).
Then we have shown that
which leads, by definition of K, to the desired sum
To find the identical lower bound we can apply exactly the same argument starting with a direct sum of Dirichlet operators like in the proof of Theorem 6. Then the only difference in calculating the eigenvalues of each component is the sign of the error \(\varepsilon (r \ln r)^{-2}\). Since this does not affect the subsequent analysis, we arrive precisely at the desired result. \(\square \)
We finish by proving our statement regarding the negative eigenvalues which accumulate at zero in the critical case.
Proof of Corollary 2
Let M denote the coefficient of \({\left| \ln E\right| _{}}\) in the formula (6). The negative eigenvalues \({\left| \lambda _k\right| _{}}\rightarrow 0\) as \(k\rightarrow \infty \) and, by definition, \(N_{{\left| \lambda _k\right| _{}}}(V)=k-1\). Therefore, it follows from the formula (6) that there exist \(K\ge 1\) and \(C<\infty \) such that
Thus it follows that
which concludes the result. \(\square \)
References
Combescure, M., Ginibre, J.: Spectral and scattering theory for the Schrödinger operator with strongly oscillating potentials. Ann. Inst. H. Poincaré 24(1), 17–30 (1976)
Combescure, M.: Spectral and scattering theory for a class of strongly oscillating potentials. Comm. Math. Phys. 73(1), 43–62 (1980)
Cwikel, M.: Weak type estimates for singular values and the number of bound states of Schrödinger operators. Ann. Math. 106(1), 93–100 (1977)
Frank, R.L., Laptev, A., Weidl, T.: An improved one-dimensional Hardy inequality. J. Math. Sci. 268(3), 323–342 (2022)
Frank, R.L., Laptev, A., Weidl, T.: Schrödinger Operators: Eigenvalues and Lieb-Thirring Inequalities. Cambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge (2022)
Hartman, P.: Ordinary Differential Equations. Wiley, New York (1964)
Hassell, A., Marshall, S.: Eigenvalues of Schrödinger operators with potential asymptotically homogeneous of degree \(-2\). Trans. Am. Math. Soc. 360(08), 4145–4167 (2008)
Hille, E.: Non-oscillation theorems. Trans. Am. Math. Soc. 64(2), 234–252 (1948)
Kats, I.S., Krein, M.G.: Criteria for the discreteness of the spectrum of a singular string. Izv. Vyssh. Uchebn. Zaved. Mat. 1958(2), 136–153 (1958)
Kirsch, W., Simon, B.: Corrections to the classical behavior of the number of bound states of Schrödinger operators. Ann. Phys. 183(1), 122–130 (1988)
Kovařík, H., Laptev, A.: Hardy inequalities for Robin Laplacians. J. Funct. Anal. 262(12), 4972–4985 (2012)
Lieb, E.H.: Bounds on the eigenvalues of the Laplace and Schrödinger operators. Bull. Am. Math. Soc. 82(5), 751–753 (1976)
Raikov, G.: Discrete spectrum for Schrödinger operators with oscillating decaying potentials. J. Math. Anal. Appl. 438(2), 551–564 (2016)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics IV: Analysis of Operators. Elsevier, Amsterdam (1978)
Rozenblum, G.V.: Distribution of the discrete spectrum of singular differential operators. Soviet Math. Doki. 202, 1012–1015 (1972)
Sasaki, I.: Schrödinger operators with rapidly oscillating potentials. Integr. Eqn. Oper. Theory 58(4), 563–571 (2007)
Simon, B.: Trace Ideals and Their Applications, 2nd edn. Amer. Math. Soc, Providence, RI (2005)
Simon, B.: Sturm oscillation and comparison theorems. In: Amrein, W.O., et al. (eds.) Sturm-Liouville Theory: Past and Present, pp. 29–43. Basel, Birkhäuser (2005)
Willett, D.: On the oscillatory behavior of the solutions of second order linear differential equations. Ann. Polon. Math. 21(2), 175–194 (1969)
Wong, J.S.W.: Oscillation and nonoscillation of solutions of second order linear differential equations with integrable coefficients. Trans. Am. Math. Soc. 144, 197–215 (1969)
Acknowledgements
This work was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - TRR 352 - Project-ID 470903074. The author is grateful to Rupert L. Frank for his guidance and for the introduction to this problem.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alain Joye.
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
Read, L. Negative Spectrum of Schrödinger Operators with Rapidly Oscillating Potentials. Ann. Henri Poincaré (2024). https://doi.org/10.1007/s00023-024-01457-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00023-024-01457-8