Rupert L. Frank,Barry Simon,Timo Weidl
Abstract:We prove general comparison theorems for eigenvalues of perturbed Schrodinger operators that allow proof of Lieb--Thirring bounds for suitable non-free Schrodinger operators and Jacobi matrices.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about how to control and estimate the eigenvalues of Schrödinger operators with regular ground states and Jacobi matrices under perturbations. Specifically, the authors aim to prove general comparison theorems, which can be used to prove Lieb - Thirring inequalities suitable for non - free Schrödinger operators and Jacobi matrices.
### Core problems of the paper
1. **Eigenvalue control**: Study the control problem of the negative eigenvalues of the Schrödinger operator \(H = H_0+V\). Here \(H_0 = -\Delta + V_0\) is an initial Schrödinger operator, and it is assumed that its ground state is regular.
2. **Comparison theorems**: Establish the eigenvalue relationships between different operators through comparison theorems. In particular, for operators with regular ground states, how to extend the eigenvalue bounds of the unperturbed operators to the perturbed operators.
3. **Lieb - Thirring inequalities**: Use the above comparison theorems to derive Lieb - Thirring inequalities applicable to perturbed Schrödinger operators and Jacobi matrices. These inequalities provide a quantitative relationship between eigenvalues and potential functions.
### Specific formulas and conclusions
- **Definitions**:
- The Schrödinger operator \(H_0 = -\Delta + V_0\) is defined on \(L^2(\mathbb{R}^\nu)\) and satisfies \(\inf \text{spec}(-\Delta + V_0)=0\).
- The perturbed operator \(H = H_0 + V\), where \(V\leq0\).
- The eigenvalue \(E_j(V_0; V)\) is defined as \(\min(0, \inf \{\lambda : \dim P_{(-\infty, \lambda]}(H)\geq j\})\).
- **Main results**:
- For any \(V\leq0\) and \(V_0\) with a regular ground state, we have
\[
|E_j(0; \beta^{-1}V)|\leq |E_j(V_0; V)|\leq |E_j(0; \beta V)|
\]
where \(\beta=\left(\frac{c_2}{c_1}\right)^2\), and \(c_1\leq u(x)\leq c_2\) are the lower and upper bounds of the regular ground state \(u_0\).
- **Corollaries**:
- For any \(\gamma > 0\),
\[
S_\gamma(0; \beta^{-1}V)\leq S_\gamma(V_0; V)\leq S_\gamma(0; \beta V)
\]
where \(S_\gamma(V_0; V)=\sum_{j = 1}^\infty|E_j(V_0; V)|^\gamma\).
- **Lieb - Thirring inequalities**:
- The standard Lieb - Thirring inequality is
\[
S_\gamma(0; \beta V)\leq L_{\gamma, \nu}\int |V(x)|^{\gamma+\frac{\nu}{2}}d^\nu x
\]
for \(\gamma\geq\frac{1}{2}\) when \(\nu = 1\), \(\gamma > 0\) when \(\nu = 2\), and \(\gamma\geq0\) when \(\nu\geq3\).
### Summary
This paper...