On the structure of band edges of \(2\)-dimensional periodic elliptic operators (Q1623213)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the structure of band edges of \(2\)-dimensional periodic elliptic operators |
scientific article |
Statements
On the structure of band edges of \(2\)-dimensional periodic elliptic operators (English)
0 references
23 November 2018
0 references
Let \(\Gamma\) be a lattice in \({\mathbb R}^2\) and \(\Omega\subset {\mathbb R}^2\) be an elementary cell of \(\Gamma\). The authors consider the periodic magnetic Schrödinger operator with metric \(g\) \[ (Hu)(x)=(-i\nabla -A(x))^{*}g(x)(-i\nabla -A(x))u(x)+V(x)u(x), \] where the electric potential \(L^\infty \ni V: {\mathbb R}^2\to {\mathbb R}\) and the magnetic potential \(C^1(\Omega) \ni A:{\mathbb R}^2\to {\mathbb R}^2\) are \(\Gamma\)-periodic. The metric \(g\) is a \(\Gamma\)-periodic symmetric \((2\times 2)\)-matrix function and \(C^2\ni g\geq \mathrm{const}_g I>0\). From the standard Floquet-Bloch theory, it follows that \(H\) is unitarily equivalent to the direct integral \[ \int\limits_{\widetilde{\Omega}}^{\oplus} H(k)\,dk, \] where \({\widetilde{\Omega}}\) is an elementary cell of the dual lattice and the operators \(H(k)\) in \(L^2(\Omega)\) are defined by \[ H(k)=(-i\nabla+\overline{k}-A)^*g(-i\nabla+k-A)+V,\quad k\in {\mathbb C}^2. \] The spectrum \( \sigma(H)=\bigcup_j [\lambda_j^-,\lambda_j^+] \) of the operator \(H\) is the union of the \textit{spectral bands} \([\lambda_j^-,\lambda_j^+]\), which are the ranges of \(\lambda_j(\cdot)\). The main result of the paper under review is the following. Let \(\lambda_*\) be a global minimal or maximal value of \(\lambda_j(\cdot)\). Then the level set \[ \{k\in \widetilde{\Omega}:\lambda_j(k)=\lambda_*\} \] is finite. An immediate consequence of this result is that Liouville type theorems (the space of solutions of any given polynomial growth is finite dimensional) hold for the operator \(H\) at all gap edges. The statement of the main result fails for discrete periodic Schrödinger operators in \(\ell^2\left({\mathbb Z}^2\right)\) (the corresponding example is presented).
0 references
periodic Schrödinger operator
0 references
Bloch eigenvalues
0 references
spectral band edges
0 references