Table of Contents
Fetching ...

Optimal Lieb-Thirring type inequalities for Schrödinger and Jacobi operators with complex potentials

Sabine Bögli, Sukrid Petpradittha

TL;DR

This work extends Lieb–Thirring type inequalities to Schrödinger and Jacobi operators with complex potentials by introducing a weighted eigenvalue sum bound expressed through ${\rm Ratio}(V,f)$, where the weight $f$ depends on the log ratio of the distance to the essential spectrum. It proves that integrable weight functions yield finite, optimal bounds in terms of the $L^p$ norm of the potential, while non‑integrable weights lead to explicit divergence rates, including logarithmic and polynomial growth relative to semiclassical expectations. The authors develop uniform spectral asymptotics for strong‑coupling models, derive lower bounds that establish optimality, and extend the framework to Jacobi operators, obtaining nonselfadjoint LT bounds that generalize and sharpen known results. The results reveal sharp thresholds between boundable and divergent spectral sums under complex perturbations, and they address open questions concerning the rate of divergence and the dependence on cone parameters, with implications for non‑selfadjoint spectral theory and semiclassical analysis.

Abstract

We prove optimal Lieb-Thirring type inequalities for Schrödinger and Jacobi operators with complex potentials. Our results bound eigenvalue power sums (Riesz means) by the $L^p$ norm of the potential, where in contrast to the self-adjoint case, each term needs to be weighted by a function of the ratio of the distance of the eigenvalue to the essential spectrum and the distance to the endpoint(s) thereof. Our Lieb-Thirring type bounds only hold for integrable weight functions. To prove optimality, we establish divergence estimates for non-integrable weight functions. The divergence rates exhibit a logarithmic or even polynomial gain compared to semiclassical methods (Weyl asymptotics) for real potentials.

Optimal Lieb-Thirring type inequalities for Schrödinger and Jacobi operators with complex potentials

TL;DR

This work extends Lieb–Thirring type inequalities to Schrödinger and Jacobi operators with complex potentials by introducing a weighted eigenvalue sum bound expressed through , where the weight depends on the log ratio of the distance to the essential spectrum. It proves that integrable weight functions yield finite, optimal bounds in terms of the norm of the potential, while non‑integrable weights lead to explicit divergence rates, including logarithmic and polynomial growth relative to semiclassical expectations. The authors develop uniform spectral asymptotics for strong‑coupling models, derive lower bounds that establish optimality, and extend the framework to Jacobi operators, obtaining nonselfadjoint LT bounds that generalize and sharpen known results. The results reveal sharp thresholds between boundable and divergent spectral sums under complex perturbations, and they address open questions concerning the rate of divergence and the dependence on cone parameters, with implications for non‑selfadjoint spectral theory and semiclassical analysis.

Abstract

We prove optimal Lieb-Thirring type inequalities for Schrödinger and Jacobi operators with complex potentials. Our results bound eigenvalue power sums (Riesz means) by the norm of the potential, where in contrast to the self-adjoint case, each term needs to be weighted by a function of the ratio of the distance of the eigenvalue to the essential spectrum and the distance to the endpoint(s) thereof. Our Lieb-Thirring type bounds only hold for integrable weight functions. To prove optimality, we establish divergence estimates for non-integrable weight functions. The divergence rates exhibit a logarithmic or even polynomial gain compared to semiclassical methods (Weyl asymptotics) for real potentials.

Paper Structure

This paper contains 8 sections, 17 theorems, 223 equations.

Key Result

Theorem 2.1

Let $d\geq 2$, $p$ satisfy eq:LiebThCond and let $0<\varepsilon<1$. Take a function $w:[0,\infty)\to [1,\infty)$ with $w(h)\to\infty$ as $h\to\infty$ (arbitrarily slowly). Then there exist $C_{p,d}>0$ and $h_{*}\geq 1$ such that for all continuous, non-increasing functions $f:[0,\infty)\to(0,\infty) where $F(x):=\int_{0}^{x} f(t)\;{\rm d} t$.

Theorems & Definitions (44)

  • Theorem 2.1
  • Remark 2.2
  • Corollary 2.3
  • Theorem 2.4
  • Corollary 2.5
  • Remark 2.6
  • Corollary 2.7
  • Remark 2.8
  • Theorem 2.9
  • Remark 2.10
  • ...and 34 more