Abstract
Following an approach by Exner et al. (Commun Math Phys 26:531–541, 2014), we establish Lieb–Thirring inequalities for general self-adjoint and second-degree differential operators with matrix valued potentials acting in one space-dimension. These include and generalize the magnetic Schrödinger operator. Three different settings are considered, with functions defined on the whole real line, a semi-axis and an interval, respectively, leading to different types of bounds. An interpretation of the result in terms of Schrödinger operators acting on star graphs and graphs with two vertices is also given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(V\) be a real-valued function and consider the self-adjoint Schrödinger operator
acting on \(L^2(\mathbb {R}^d)\). In addition to describing the spectral properties of \(H\) as a detailed function of the potential \(V\), it is also of interest to obtain general bounds on the moments of the negative eigenvalues of \(H\), which physically correspond to states bound in the potential well. If we denote these eigenvalues by \(\{-\lambda _i(V)\}\), bounds can be achieved through so-called Lieb–Thirring inequalities of the form
for \(L_{\gamma , d}\) constants depending only on \(\gamma \) and \(d\). Here, \(V_{\pm } = \frac{|V|\pm V}{2}\) denote the positive and negative parts of \(V(x)\), respectively. For the case \(\gamma \ge 3/2\), it was shown in [13] that
and it holds for all \(\gamma \) that \(L_{\gamma , d}^{\mathrm {cl}} \le L_{\gamma , d}\).
The Lieb–Thirring inequalities have been proven to hold if and only if \(\gamma \ge 1/2\) for \(d=1\) [9, 20, 25], \(\gamma > 0\) for \(d=2\) [20], and \(\gamma \ge 0\) for \(d\ge 3\) [4, 11, 16, 20, 23]. Achieving estimates for the constants in Eq. (1.2) is also of importance in applications and is discussed in e.g. [7, 8, 25]. For the case where \(V(x)\) is matrix-valued, see also the paper in [13].
Originally shown by Lieb and Thirring [20] in order to give an alternative proof of the stability of matter, these inequalities have also found additional applications. See [3, 14, 15, 17, 22] for examples in physics, including the Navier–Stokes equations, and other areas of mathematics; Laptev [12], Seiringer [24] also give detailed surveys of the area and a comprehensive treatment can be found in [19].
This article aims at generalizing the setting of Lieb–Thirring inequalities to more general operators than the magnetic or non-magnetic Schrödinger operators. More precisely, take \(P(x), \widetilde{Q}(x)\) as complex-valued \(n\times n\)-matrix functions and let \(\Omega \) be either \([0,1]\), \(\mathbb {R}_+\) or \(\mathbb {R}\). We consider all self-adjoint operators of the type
acting on \(L^2(\Omega ; \mathbb {C}^n)\), and obtain bounds on the moments of their negative eigenvalues, \(\{-\lambda _n\}\). Note that this form of the operator includes, but is not restricted to, both the magnetic and non-magnetic Schrödinger operators. For some symmetric and real-valued \(n\times n\)-matrix function \(A(x)\), these can be written as
which is of the form in Eq. (1.4). The operator in Eq. (1.4) can therefore be interpreted as a generalized magnetic Schrödinger operator.
Remark 1
The operator in Eq. (1.4) is similar to the magnetic Schrödinger operator in Eq. (1.5). When the potential functions are scalar-valued, the magnetic Schrödinger operator takes the form \(\left( i\frac{\mathrm {d}}{\mathrm {d}x} + a(x)\right) ^2\), for some real-valued \(a(x)\). This can be reduced to the non-magnetic Schrödinger operator through a gauge transformation. The main contribution of this paper lies in generalizing this operator in three different ways: to also include matrix-valued potential functions as in Eq. (1.5), to the more general operator in Eq. (1.4), and lastly to settings where the operator acts on functions defined on subsets of the real line. This last part follows and slightly extends the work in [5].
The approach in this article uses the ideas from [2, 5] and the commutation method. We will show below that the proper setting for this approach is to have \(P\) element-wise weakly differentiable together with some integrability assumptions on \(P\) and \(\widetilde{Q}\). More precisely, while studying functions defined on some \(\Omega \subseteq \mathbb {R}^d\), we take
where \(\varepsilon \in \mathbb {R}_+ := [0, \infty )\) is arbitrary and the integrability is to be interpreted element-wise. Arguing by approximation, we will in the following assume that \(P\) is indeed element-wise weakly differentiable. We will show below that any \(\mathcal {L}\) in Eq. (1.4) is then self-adjoint if and only if \(P\) is anti-Hermitian with \(\widetilde{Q}^*= \widetilde{Q}-P'\). We will therefore rewrite Eq. (1.4) on the form
where \(P\) is anti-Hermitian, \(Q = \widetilde{Q}-\frac{P'}{2}+\frac{P^2}{4}\) is Hermitian and \(\mathcal {L}\) acts on some subset of \(L^2(\mathbb {R}; \mathbb {C}^n)\). Note that this is slightly more general than the operator in Eq. (1.5), since \(P\) need not be of the form \(iA\), for \(A\) a real \(n\times n\)-matrix.
We will study the operator in Eq. (1.7) for the three different cases of \(\mathcal {L}\) acting on functions defined on the whole real line, a semi-axis and an interval, respectively. The last two cases will be endowed with Robin boundary conditions at the endpoints. More precisely, we let \(\mathcal {L}\) act on
respectively. Here, \(\mathfrak {S}, \mathfrak {S}_0, \mathfrak {S}_1\) are \(n\times n\) Hermitian matrices encoding Robin boundary conditions. Note that the conditions that \(P(0) = 0 \) in Eq. (1.9 1.10) and that \(P(0) = P(1) = 0 \) in Eq. (1.11) are necessary and sufficient to make \(\mathcal {L}\) self-adjoint when acting on these spaces, as will be shown below. Note also that this is a generalization of the settings of [2, 5], and we extend their results by establishing Lieb–Thirring inequalities on the moments of the negative eigenvalues of \(\mathcal {L}\) on these spaces. Setting \(P = 0\) in Theorems 1, 2 and Corollaries 1, 2 below, we recover the results in [2, 5]. The main results are as follows.
Theorem 1
Let \(\mathcal {L}\) act on \(\mathfrak {D}(\mathcal {L})\) in Eq. (1.8). Let also \(P(x)\) be anti-Hermitian, termwise weakly differentiable and \(Q(x)\) Hermitian. If \(\mathcal {L}\) is bounded from below and \(\mathrm {Tr}(Q^2_-) \in L^1(\mathbb {R})\), then
where \(\kappa _i\) denotes the multiplicity of the negative eigenvalue \(-\lambda _i\). This bound is also sharp, in the sense that there are \(P,Q\) such that the resulting inequality is false if the constant is replaced by a smaller number.
Theorem 2
Let \(P(x)\) be anti-Hermitian, termwise weakly differentiable with \(P(0) = 0\) and \(Q(x)\) Hermitian. If \(\mathcal {L}\) acts on \(\mathfrak {D}_+(\mathcal {L})\) in Eq. (1.9 1.10), is bounded from below and if \(\mathrm {Tr}(Q^2_-) \in L^1(\mathbb {R}_+)\), then
Theorem 3
Let \(P(x)\) be anti-Hermitian, termwise weakly differentiable with \(P(0) = P(1) = 0\) and \(Q(x)\) Hermitian. If \(\mathcal {L}\) acts on \(\mathfrak {D}_{[0,1]}(\mathcal {L})\) in Eq. (1.11), is bounded from below and if \(\mathrm {Tr}(Q^2_-) \in L^1([0,1])\), then
Remark 2
The same techniques used to prove Theorems 1–3 can be used to obtain Lieb–Thirring bounds also when \(\mathcal {L}\) acts on functions defined on unions of intervals and semi-axes. Each interval will then give a contribution of the form in Eq. (1.14) and each semi-axis contributes like in Eq. (1.13).
These bounds can be extended to higher moments using an Aizenman–Lieb argument from [1]. We can then conclude the following corollary.
Corollary 1
Let \(\mathcal {L}\) act on \(\mathfrak {D}(\mathcal {L})\) in Eq. (1.8) and take \(\gamma \ge 3/2\). Let \(P(x)\) be anti-Hermitian, termwise weakly differentiable and \(Q(x)\) Hermitian. If \(\mathcal {L}\) is bounded from below and \(\mathrm {Tr}(Q^{\gamma + \frac{1}{2}}_-) \in L^1(\mathbb {R})\), then
These bounds are also sharp.
In the case of the semi-axis, we can use the same techniques to obtain bounds on higher moments, in case \(\mathrm {Tr}\mathfrak {S}^3\le 0\). The bound in Theorem 2 then becomes
which allows for the Aizenman–Lieb treatment. We obtain the following corollary.
Corollary 2
Take \(\gamma \ge 3/2\) and assume that \(\mathrm {Tr}\mathfrak {S}^3\le 0\). Let \(P(x)\) be anti-Hermitian, termwise weakly differentiable with \(P(0) = 0\) and \(Q(x)\) Hermitian. If \(\mathcal {L}\) acts on \(\mathfrak {D}_+(\mathcal {L})\) in Eq. (1.9 1.10), is bounded from below and if \(\mathrm {Tr}(Q^{\gamma + \frac{1}{2}}_-) \in L^1(\mathbb {R}_+)\), then
where \(B(p,q)\) denotes the Beta function
Analogously, in the setting of the interval, we assume \(\mathrm {Tr}\left( \mathfrak {S}_0^3-\mathfrak {S}_1^3\right) \le 0\) in order to prove the following.
Corollary 3
Take \(\gamma \ge 3/2\) and assume that \(\mathrm {Tr}\left( \mathfrak {S}_0^3-\mathfrak {S}_1^3\right) \le 0\). Let \(P(x)\) be anti-Hermitian, termwise weakly differentiable with \(P(0) = P(1) = 0\) and \(Q(x)\) Hermitian. If \(\mathcal {L}\) acts on \(\mathfrak {D}_{[0,1]}(\mathcal {L})\) in Eq. (1.11), is bounded from below and if \(\mathrm {Tr}\left( Q^{\gamma + \frac{1}{2}}_-\right) \in L^1(\mathbb {R}_+)\), then
We next turn to an application of the results. We have the following.
Theorem 4
If \(P\) and \(Q\) are diagonal matrices, then \(\mathcal {L}\) acting on \(\mathfrak {D}_+(\mathcal {L})\) can be interpreted as a Schrödinger operator acting on a star graph with \(n\) semi-infinite edges and a matching condition at the common vertex. Its negative spectrum satisfies Eqs. (1.13) and (1.17). \(\mathcal {L}\) acting on \(\mathfrak {D}_{[0,1]}(\mathcal {L})\) can similarly be seen as a Schrödinger operator on a graph with two vertices, \(n\) edges between these and separate matching conditions at both vertices. The negative eigenvalues of \(\mathcal {L}\) satisfy Eqs. (1.14) and (1.20).
2 Auxiliary results
In this section, we will establish auxiliary results needed for the proofs of the main propositions. We will follow the commutation method approach used in [2, 5], suitably generalized to our setting. First, we record the conditions on \(P\) and \(\widetilde{Q}\) needed to make \(\mathcal {L}\) in Eq. (1.4) self-adjoint.
Lemma 1
Let \(P\) in Eq. (1.4) be termwise weakly differentiable. \(\mathcal {L}\) acting on \(\mathfrak {D}(\mathcal {L})\) is then symmetric if and only if \(P^*=-P\) and \(\widetilde{Q}^*=\widetilde{Q}-P'\) almost everywhere. Moreover, \(\mathcal {L}\) acting on \(\mathfrak {D}_+(\mathcal {L})\) is symmetric if and only if additionally \(P(0) = 0\) and \(\mathcal {L}\) acting on \(\mathfrak {D}_{[0,1]}(\mathcal {L})\) is symmetric if and only if also \(P(0) = P(1) = 0\).
Proof
Starting with the case of \(\mathfrak {D}(\mathcal {L})\), we take \(u,v \in \mathfrak {D}(\mathcal {L})\), integrate by parts and obtain
so \(\mathcal {L}\) is symmetric if and only if
for all \(u,v \in \mathfrak {D}(\mathcal {L})\). Let now \(e_i\) be the \(i{\mathrm {th}}\) Euclidean basis vector, and fix any \([a,b] \subseteq \mathbb {R}\), \(\varepsilon \in \mathbb {R}\). By setting \(v = e_i \) on \([a-2\varepsilon , b+2\varepsilon ]\), \(v = 0\) outside \([a-3\varepsilon , b+3\varepsilon ]\), we can let \(u_{n}\) be a smooth approximation to \(\mathbf {1}_{[a,b]}e_j\), with support contained in \([a-\varepsilon , b+\varepsilon ]\). This means that \(v'^*(P+P^*)u = 0\) in all of \(\mathbb {R}\) and that
as \(n \rightarrow \infty \), by Lebesgue’s dominated convergence theorem. Since \(b\) was arbitrary, it follows that \(\left( \widetilde{Q}-P' - \widetilde{Q}^*\right) _{ij} = 0\) a.e. in \([a,b]\) ([6], Theorem 2.14.2), so \(\widetilde{Q}^* = \widetilde{Q} -P'\) a.e., since \(a, i, j\) were arbitrary. As for the other term in Eq. (2.4), taking \(v' = e_i\) and \(u_n\) as above implies that also \(P^* = -P\).
For \(\mathcal {L}\) acting on \(\mathfrak {D}_+(\mathcal {L})\) and \(u,v \in \mathfrak {D}_+(\mathcal {L})\), the partial integration also produces the two boundary terms
If we take u(0) = 0 momentarily, the same argument as in the previous case shows that \(\widetilde{Q}^* = \widetilde{Q} -P'\) and \(P^* = -P\) in \((0,\infty )\). It follows that
precisely when \(\mathcal {L}\) is symmetric. Since \(u(0), v(0)\) are a priori arbitrary, this is the case if and only if \(P(0) = 0\).
An analogous argument applied to \(\mathcal {L}\) acting on \(\mathfrak {D}_{[0,1]}(\mathcal {L})\) concludes the proof. \(\square \)
Note that, after possibly identifying \(\mathcal {L}\) with its Friedrichs extension, we could replace the word “symmetric” in Lemma 1 by “self-adjoint”.
For the remainder of this section, we will assume that \(P\) is smooth and that both \(P\) and \(Q\) are compactly supported. By approximation, we can then pass to more general \(P,Q\) in appropriate limits [10]. The first step in the argument is to consider a generalized gauge transformation. We let \(\Psi \) be the matrix fundamental solution to
Note that \(\Psi \) exists globally and is uniquely defined, since \(P\) was assumed to be continuous.
Lemma 2
\(\Psi (x)\) has the following properties.
-
(i)
\(\Psi (x)\) is invertible for all \(x\) in its domain of definition.
-
(ii)
\(\Psi (x)\) is unitary for all \(x\) in its domain of definition.
-
(iii)
\(\Psi ^{-1}(x)Q(x)\Psi (x)\) is Hermitian for all \(x\) in the domain of definition of \(\Psi \).
-
(iv)
\(\Psi (x)\) and \(\Psi ^{-1}(x)\) are bounded in norm.
Proof
Each column vector \(c_i\) of \(\Psi (x)\) satisfies
where \(e_i\) denotes the \(i{\mathrm {th}}\) Euclidean basis vector. If \(\Psi (x_0)\) were not invertible, then \(\{c_i(x_0)\}_{i=1}^n\) would be linearly dependent. By the uniqueness of solutions to Eq. (2.9), it follows that \(c_i\) would be linearly dependent for all \(x\), so setting \(x=0\) implies that \(\{e_i\}_{i=1}^n\) would be. This is a contradiction, establishing the invertibility of \(\Psi \).
For the second property, we will use the fact that \(P^{*} = -P\). Taking the adjoint of Eq. (2.8), we then obtain
Moreover, differentiation yields
so we have
By the uniqueness of solutions to linear differential equations, we must then have \(\Psi ^{-1}(x) = \Psi ^*(x)\) for all \(x\) where \(\Psi \) is defined. Note next that \(\left( \Psi ^{-1}Q\Psi \right) ^* = \Psi ^*Q^*{\Psi ^*}^{-1} = \Psi ^{-1}Q\Psi \), since \(Q\) is Hermitian and \(\Psi \) unitary.
Lastly, the compact support of \(P\) together with Eq. (2.8) imply that \(\Psi \) is constant outside some compact interval \([a,b]\), on which the norm of \(\Psi \) assumes a maximum. Since also
both \(\Psi \) and \(\Psi ^{-1}\) have bounded norm. This establishes the last property and concludes the proof. \(\square \)
The reason for considering \(\Psi \) is that it simplifies the original problem, as seen from the following result. We remark that it is similar to the Liouville normal form of operators in Sturm–Liouville theory [21].
Lemma 3
\(\mathcal {L}\) acting on the spaces in Eqs. (1.8), (1.9 1.10), (1.11) has the same eigenvalues as the operator
acting on the spaces
respectively.
Proof
We can write \(u(x) = \Psi (x) \widetilde{u}(x)\) and then compute
meaning that \(\mathcal {L}u = \lambda u\) is equivalent to \(\mathcal {H}\widetilde{u} = \lambda \widetilde{u}\). Next, the boundedness of \(\Psi \) and \(\Psi ^{-1}\) imply that \(u \in L^2\) is equivalent to \(\widetilde{u}\in L^2\), for all three settings under consideration. This establishes Eq. (2.15) so it only remains to verify the boundary conditions for \(\mathcal {H}\) in Eqs. (2.16, 2.18). In the case of the semi-axis, we have
since we insisted on \(P(0) = 0\) in this setting. This establishes Eq. (2.16 2.17).
Lastly, we use \(P(0) = P(1) = 0\) in the setting of the interval to obtain
This is precisely the Robin boundary condition in Eq. (2.18), which concludes the proof. \(\square \)
This result will be sufficient to prove Theorems 1 and 2, so we will in the following only study the operator \(\mathcal {H}\) acting on \(\mathfrak {D}_{[0,1]}(\mathcal {H})\) in Eq. (2.18). Using the boundedness of \(\Psi \), and the assumptions in Eq. (1.6), we can show that \(\mathcal {H}\) is bounded from below precisely as in [18, Sec. 11.3]. The min–max principle then applies, and \(\mathcal {H}\) has a ground state \(\phi _1\) with finite energy \(-\lambda _1\). Estimating only the negative eigenvalues, we will assume that \(-\lambda _1 < 0\). We next consider the corresponding matrix fundamental solution
The following result is standard [2, 5] and will be needed in the remainder of the argument.
Lemma 4
Take \(\phi _1(x)\) as the ground state of \(\mathcal {H}\), i.e.
If \((\phi _1(0), \phi _1'(0))\) is non-trivial, then \(\phi _1(x)\) is non-zero for all \(x\in [0,1]\) and the ground state has multiplicity at most \(n\).
Proof
Assume first that there is an \(x_0<1\) with \(\phi _1(x_0) = 0\). We can then form
which is weakly differentiable everywhere, so \(\widetilde{\phi } \in H^1([0,1];\mathbb {C}^n)\) since \(\phi _1\) is. We have
so the min–max principle implies that \(\widetilde{\phi }(x)\) is a solution of Eq. (2.28). Since this is a second order ordinary differential equation and \(\widetilde{\phi }(x) = 0 = \widetilde{\phi }'(x)\) for \(x > x_0\), we must then have \(\widetilde{\phi } = 0\) on the whole interval \([0,1]\), contradicting the assumption that \((\phi _1(0), \phi _1'(0)) \ne 0\). Next, the case \(x_0 = 1\) implies that \(\phi _1'(x_0) = \phi _1(x_0) = 0\), after using the Robin boundary conditions. This derives a contradiction just as in the case \(x_0<0\), which concludes the proof of the first part of the lemma.
For the second part, note that if there were \(n+1\) ground state solutions, then these would be linearly dependent when evaluated at a point. By the preceding argument, they would then have to be linearly dependent for all \(x\) in \([0,1]\), meaning that the ground state is of multiplicity at most \(n\). \(\square \)
By Lemma 4, \(M_1(x)\) will then be invertible for any \(x\in [0,1]\), and we can therefore form \(F = M_1'M_1^{-1}\), which will be used below.
Lemma 5
\(F(x)\) has the following properties.
-
(i)
\(F(x)\) satisfies the Ricatti equation \(F^2+F'= \Psi ^{-1}(x)Q(x)\Psi (x)+\lambda _1\).
-
(ii)
\(F(0) = \mathfrak {S}_0\), and \(F(1) = \Psi ^{-1}(1)\mathfrak {S}_1\Psi (1)\).
-
(iii)
\(F\) is Hermitian for all \(x\) in \([0,1]\).
Proof
We can calculate
showing the Ricatti equation. The second part is shown by using the Robin boundary condition. We have
so the invertibility of \(M(0)\) results in
\(F(1)\) is evaluated analogously.
The third property is obtained by differentiating a Wronskian expression and using the fact that \(\Psi ^{-1}Q\Psi \) is Hermitian, as shown in Lemma 2. We have
so \(M_1^*M_1' - M_1^{*'}M_1 = M_1^*FM_1-M_1^*F^*M_1 = C\), for \(C\in \mathbb {C}^{n\times n}\) constant. Next, for \(x = 0\), we have \(F(0) = \mathfrak {S}_0\), which is Hermitian. This means that \(C = 0\), which results in
for all \(x\) in \([0,1]\), i.e. \(F^* = F\). This finishes the proof. \(\square \)
3 Proofs of the main results
Proof of Theorem 1
By the min–max principle, \(\{-\lambda _i\}\) will all increase in magnitude if we put the positive part of \(Q\) to \(0\). Since the integral in Lemma 1 is invariant under this change, it suffices to prove the theorem for \(Q\le 0\), which will be assumed in the following. By Lemmas 2 and 3, the eigenvalues of \(\mathcal {L}\) are precisely those of the operator \(\mathcal {H}\) in Eqs. (2.14)–(2.15), which has a Hermitian potential part. We can therefore apply the Lieb–Thirring inequalities from [13] to conclude that
Here, the second to last equality used \(\mathrm {Tr} \left[ \left( \Psi ^{-1}Q\Psi \right) ^2 \right] = \mathrm {Tr} \left( \Psi ^{-1}Q^2\Psi \right) = \mathrm {Tr}\left( Q^2\Psi \Psi ^{-1}\right) = \mathrm {Tr}\left( Q^2\right) \) and the last equality used \(Q^2=\left( Q_-\right) ^2\), since \(Q\le 0\).
It only remains to prove the sharpness of the bound. This follows from the sharpness of the original Lieb–Thirring inequalities after setting \(P=0\). The theorem is then proved. \(\square \)
Proof of Theorem 2
Analogously to the previous proof, we can without loss of generality assume that \(Q\le 0\) and use the results from [5] to conclude that
which is the desired result. \(\square \)
Proof of Theorem 3
This proof uses the commutation method and shares structure with the proofs in [2, 5]. We recall from the preceding proofs that we can without loss of generality assume \(Q\le 0\) and that we aim to bound the negative eigenvalues \(\{-\lambda _i\}\) of \(\mathcal {H}\). Take now \(T := \frac{\mathrm {d}}{\mathrm {d}x}\otimes \mathbb {I} - F\). We can calculate
where we used the Ricatti equation and the Hermiticity of \(F\) from Lemma 5. Note now that any eigenfunction \(\psi \) of \(TT^*\) can be written as \(T\phi \), for \(\phi \) an eigenfunction of \(T^*T\). Since \(\phi \) satisfies the Robin boundary conditions in Eq. (2.18), \(\psi \) will satisfy
where we used Lemma 5. The eigenvectors of \({\textit{TT}}^*\) therefore satisfy Dirichlet boundary conditions at \(x=0\). Note also that \({\textit{TT}}^*\) and \(T^*T\) have the same spectrum, with the zero eigenvalue excluded from the spectrum of \({\textit{TT}}^*\). To see this, assume that \({\textit{TT}}^*\psi =0\). This means that
so \(T^*\psi = 0\) and \(\psi '(x) = -F(x)\psi (x)\). This in particular implies that \(\psi '(0) = -F(0)\psi (0) = 0\), since \(\psi \) satisfies Dirichlet boundary conditions. We therefore obtain \(\psi '(0) = \psi (0) = 0\) so \(\psi (x) = 0\) for all \(x\), since \(\psi \) is an eigenfunction of the second order differential operator in Eq. (3.8).
This procedure therefore reduces the problem of describing the eigenvalues of Eq. (1.4) to bounding the spectrum of
for \(u\) in \(L^2([0,1]; \mathbb {C}^n)\). To approach this, we now extend \(Q\) and \(F'\) by zero to the whole real axis and therefore have \(F(x) = F(1)\), for all \(x\ge 1\) and \(F(y) = F(0)\), for all \(y \le 0\). Note that this results in a self-adjoint operator on the whole real line. We can then use the result in Theorem 1 to obtain
This last term can be calculated using the Ricatti equation in Lemma 5. We have
Inserting this into Eq. (3.13) finally results in
which concludes the proof. \(\square \)
Proof of Corollaries 1–3
The corollaries can all be proven using standard Aizenman–Lieb arguments from [1]. We will only carry through the details for Corollary 3. Let
denote the Beta function and take \(\gamma \ge 3/2\). If the negative eigenvalues of \(\mathcal {L}\) with potential \(Q\) are written as \(\{-\lambda _n(Q)\}\), then
which finishes the proof after noting that \(L_{\gamma ,1} = L_{3/2,1}\frac{B(\gamma -3/2,3)}{B(\gamma -3/2,5/2)}\) [12]. \(\square \)
References
Aizenman, M., Lieb, E.H.: On semi-classical bounds for eigenvalues of Schrödinger operators. Phys. Lett. A 66(6), 427–429 (1978)
Benguria, R., Loss, M.: A simple proof of a theorem of Laptev and Weidl. Math. Res. Lett. 7(2), 195–203 (2000)
Constantin, P., Foias, C., Temam, R.: On the dimension of the attractors in two-dimensional turbulence. Physica D Nonlinear Phenom. 30(3), 284–296 (1988)
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)
Exner, P., Laptev, A., Usman, M.: On some sharp spectral inequalities for Schrödinger operators on semiaxis. Commun. Math. Phys. 26(2), 531–541 (2014)
Friedman, A.: Foundations of Modern Analysis. Courier Dover Publications, New York (1982)
Hundertmark, D.: On the number of bound states for Schrödinger operators with operator-valued potentials. Arkiv för matematik 40(1), 73–87 (2002)
Hundertmark, D., Laptev, A., Weidl, T.: New bounds on the Lieb–Thirring constants. Inventiones Mathematicae 140(3), 693–704 (2000)
Hundertmark, D., Lieb, E.H., Thomas, L.E.: A sharp bound for an eigenvalue moment of the one-dimensional Schrödinger operator. In: Inequalities, pp. 329–341. Springer, Berlin (2002)
Kato, T.: Perturbation Theory for Linear Operators, vol.132, Chap. 2. Springer, Berlin (1976)
Laptev, A.: Dirichlet and Neumann eigenvalue problems on domains in Euclidean spaces. J. Funct. Anal. 151(2), 531–545 (1997)
Laptev, A.: Spectral inequalities for partial differential equations and their applications. In: Proceedings of the ICCM ‘10. Part 2, pp. 629–643. American Mathematical Society, Providence, RI (2012)
Laptev, A., Weidl, T.: Sharp Lieb–Thirring inequalities in high dimensions. Acta Mathematica 184(1), 87–111 (2000)
Lieb, E.H.: An \({L}_p\) bound for the Riesz and Bessel potentials of orthonormal functions. J. Funct. Anal. 51(2), 159–165 (1983)
Lieb, E.H.: Bound on the maximum negative ionization of atoms and molecules. In: The Stability of Matter: From Atoms to Stars, pp. 91–101. Springer, Berlin (2001)
Lieb, E.H.: The number of bound states of one-body Schrödinger operators and the Weyl problem. In: The Stability of Matter: From Atoms to Stars, pp. 245–256. Springer, Berlin (2001)
Lieb, E.H.: On characteristic exponents in turbulence. In: Inequalities, pp. 305–312. Springer, Berlin (2002)
Lieb, E.H., Loss, M.: Analysis, volume 14 of Graduate Studies in Mathematics, vol. 4. American Mathematical Society, Providence (2001)
Lieb, E.H., Seiringer, R.: The Stability of Matter in Quantum Mechanics. Cambridge University Press, Cambridge (2009)
Lieb, E.H., Thirring, W.E.: Inequalities for the moments of the eigenvalues of the Schrödinger Hamiltonian and their relation to Sobolev inequalities. In: Studies in Mathematical Physics: Essays in Honor of Valentine Bargmann. Princeton University Press, Princeton (1976)
Liouville, J.: Mémoire sur le développement des fonctions ou parties de fonctions en séries dont les divers termes sont assujétis à satisfaire à une même équation différentielle du second ordre, contenant un paramètre variable. Journal de mathématiques pures et appliquées, pp. 253–265 (1836)
Nam, P.T.: New bounds on the maximum ionization of atoms. Commun. Math. Phys. 312(2), 427–445 (2012)
Rozenbljum, G.V.: Distribution of the discrete spectrum of singular differential operators. Soviet Math. Doki. 202, 1012–1015 (1972)
Seiringer, R.: Inequalities for Schrödinger operators and applications to the stability of matter problem. Entropy and the quantum. Contemp. Math. 529, 53–72 (2010)
Weidl, T.: On the Lieb-Thirring constants \({L}_{\gamma, 1}\) for \(\gamma \ge 1/2\). Communications in Mathematical Physics 178(1), 135–146 (1996)
Acknowledgments
The author is very happy to thank Ari Laptev for an inspiring introduction to the subject, support, and interesting discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Mickelin, O. Lieb–Thirring inequalities for generalized magnetic fields. Bull. Math. Sci. 6, 1–14 (2016). https://doi.org/10.1007/s13373-015-0067-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-015-0067-9