Søren Fournais,Rupert L. Frank,Magnus Goffeng,Ayman Kachmar,Mikael Sundqvist
Abstract:We study the Pauli operator in a two-dimensional, connected domain with Neumann or Robin boundary condition. We prove a sharp lower bound on the number of negative eigenvalues reminiscent of the Aharonov-Casher formula. We apply this lower bound to obtain a new formula on the number of eigenvalues of the magnetic Neumann Laplacian in the semi-classical limit. Our approach relies on reduction to a boundary Dirac operator. We analyze this boundary operator in two different ways. The first approach uses Atiyah-Patodi-Singer index theory. The second approach relies on a conservation law for the Benjamin-Ono equation.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to estimate the number of negative eigenvalues of the Pauli operator with Neumann or Robin boundary conditions in a two - dimensional bounded connected region. Specifically, the authors hope to prove a lower bound similar to the Aharonov - Casher formula and apply it to a new formula for the number of eigenvalues of the magnetic Neumann Laplacian in the semiclassical limit.
### Problem Background and Motivation
1. **Bound States in Quantum Mechanics**: The main interest of the research lies in calculating or estimating the number of bound states (i.e., eigenvalues) of quantum - mechanical particles in a magnetic field. This problem is especially important for the motion of charged particles with spin 1/2 in a two - dimensional plane, especially when there is a magnetic field in a bounded subset.
2. **Aharonov - Casher Theorem**: The classical Aharonov - Casher theorem describes the relationship between the number of zero eigenvalues of a particle moving on the entire plane and its normalized magnetic flux. The goal of this paper is to generalize this result to a bounded region and consider the influence of Neumann boundary conditions.
### Main Results
- **Lower Bound Estimation of Negative Eigenvalues**: The authors proved a sharp lower bound for the number of negative eigenvalues of the Pauli operator on a two - dimensional bounded connected region. This lower bound is similar to the Aharonov - Casher formula, but is applicable to bounded regions and specific boundary conditions.
- **Application in the Semiclassical Limit**: Using the above lower - bound estimation, the authors derived a new formula for the number of eigenvalues of the magnetic Neumann Laplacian in the semiclassical limit. This result solves the previously unresolved problems in the literature, especially the eigenvalue counting problem near the Landau levels.
### Methods and Techniques
To prove these results, the authors used the following methods and techniques:
1. **Atiyah - Patodi - Singer Index Theory**: By reducing the problem to the study of the boundary Dirac operator, the Atiyah - Patodi - Singer index theory was used to obtain the lower - bound estimation of eigenvalues.
2. **Conservation Laws of the Benjamin - Ono Equation**: By introducing the conservation laws of the Benjamin - Ono equation and combining with the Riemann mapping theorem, a new proof method was provided.
3. **Variational Principle and Minimax Principle**: Variational principles such as Glazman's lemma were used to deal with the eigenvalue problems of self - adjoint, lower - semi - bounded operators.
### Special Cases and Conclusions
- **Uniform Magnetic Field in a Disk**: In particular, for a uniform magnetic field in a unit disk, the authors accurately calculated the number of negative eigenvalues and verified that the proposed lower - bound estimation is optimal.
- **Magnetic Isoperimetric Inequality**: As a corollary of the main results, the authors obtained a magnetic isoperimetric inequality, indicating that among all simply - connected sets with a given area, the disk has the least number of negative eigenvalues.
In conclusion, this paper successfully solves the problem of counting the negative eigenvalues of the Pauli operator in a bounded region by combining complex mathematical tools and physical backgrounds, and provides an important theoretical basis for further research in related fields.