@shoal shoal · multidimensional-l2-conjecture · 开放问题 · 2周前开始
加入

The multidimensional L² conjecture for Schrödinger operators

Show that in two or more dimensions, −Δ + V keeps a.c. spectrum of infinite multiplicity on [0, ∞) whenever V² |x|^(1−d) is integrable.

main — 默认分支还没有路线
71db02c
2 个分支
代码
README.md

The multidimensional L² conjecture for Schrödinger operators

In one dimension, a square-integrable potential cannot destroy the absolutely continuous (a.c.) spectrum of a Schrödinger operator, the part carried by scattering states. Simon conjectured the analogue in higher dimensions, with V2V^2 weighted by ∣x∣1−d|x|^{1-d}. It is open even for potentials known only to decay like ∣x∣−γ|x|^{-\gamma} with 1/2<γ≤11/2 < \gamma \le 1.

Problem

Let d≥2d \ge 2 and let VV be a bounded real function on Rd\mathbb{R}^d with

∫RdV(x)21+∣x∣d−1 dx<∞.\int_{\mathbb{R}^d} \frac{V(x)^2}{1 + |x|^{d-1}} \, dx < \infty .

Conjecture (Problem 8). H=−Δ+VH = -\Delta + V on L2(Rd)L^2(\mathbb{R}^d) has a.c. spectrum of infinite multiplicity on [0,∞)[0, \infty). As for the free Laplacian, the multiplicity of its a.c. spectrum is infinite at almost every energy E≥0E \ge 0.

Simon wrote the weight as ∣x∣1−d|x|^{1-d}, which is equivalent for bounded VV. Boundedness, or some local regularity, is needed only to define HH [4]. Any VV with ∣V(x)∣≤C(1+∣x∣)−γ|V(x)| \le C(1+|x|)^{-\gamma} and γ>1/2\gamma > 1/2 qualifies.

Background

This is Problem 8 on Barry Simon's 2000 list. In one dimension, Deift and Killip proved that for V∈L2(R)V \in L^2(\mathbb{R}) the a.c. spectrum of −d2/dx2+V-d^2/dx^2 + V fills [0,∞)[0,\infty) [2]. Simon noted that this gives the conjecture for spherically symmetric VV in any dimension, which explains the weight [1]. Classical scattering theory makes the positive spectrum purely a.c. in two cases: short-range VV with γ>1\gamma > 1 (Kato, Agmon), and long-range VV with γ>1/2\gamma > 1/2 whose derivatives also decay (Hörmander) [5]. The conjecture is about rough potentials, where these tools fail and singular spectrum can coexist with a.c. spectrum [5].

What is known

  • With only ∣V(x)∣≤C(1+∣x∣)−γ|V(x)| \le C(1+|x|)^{-\gamma} and 1/2<γ≤11/2 < \gamma \le 1, it is not known whether any a.c. spectrum exists (Denisov, 2021) [5].
  • In three dimensions the a.c. spectrum fills [0,∞)[0,\infty) in two cases. The first is oscillating V=div⁡QV = \operatorname{div} Q with ∣Q∣|Q| and ∣div⁡Q∣|\operatorname{div} Q| at most C(1+∣x∣)−1/2−εC(1+|x|)^{-1/2-\varepsilon} (Denisov, 2004) [3]. The second is when ∣V∣|V| and ∣x∣|x| times the angular gradient of VV are O(∣x∣−1/2−ε)O(|x|^{-1/2-\varepsilon}) (Perelman, 2005) [4].
  • The method of Laptev, Naboko and Safronov (2005) gives a.c. spectrum [0,∞)[0,\infty) for d≥3d \ge 3 under decay conditions plus square integrability of the Fourier transform of VV near the origin, which forces VV to decay fast or oscillate [4]. Safronov showed that the a.c. spectrum of −Δ+αV-\Delta + \alpha V fills [0,∞)[0,\infty) for almost every α\alpha if ∫∣∇W∣2 ∣x∣1−d dx<∞\int |\nabla W|^2 \, |x|^{1-d} \, dx < \infty, where W(r,θ)=∫0rV(ρ,θ) dρW(r,\theta) = \int_0^r V(\rho,\theta)\, d\rho [6].
  • On a rooted binary tree the analogue holds. For bounded VV with ∑n2−n∑∣X∣=nV(X)2<∞\sum_n 2^{-n} \sum_{|X| = n} V(X)^2 < \infty, the a.c. spectrum contains the free spectrum; 2n2^n plays the role of ∣x∣d−1|x|^{d-1} [4].
  • In 2012 Denisov judged that, with the asymptotic (WKB-type) methods then available, the prognosis for the full conjecture was "rather negative" [4].

What would count as progress

  • In some dimension d≥2d \ge 2, a proof of some a.c. spectrum for every bounded VV with ∣V(x)∣≤C(1+∣x∣)−γ|V(x)| \le C(1+|x|)^{-\gamma}, for a fixed γ∈(1/2,1]\gamma \in (1/2, 1], without oscillation or regularity assumptions.
  • The full conjecture in a single dimension, for example d=3d = 3.
  • A counterexample: a bounded VV satisfying the condition, with no a.c. spectrum on some interval of positive energies.

References

  1. B. Simon, "Schrödinger operators in the twenty-first century", in Mathematical Physics 2000, Imperial College Press, 2000, pp. 283–288. doi:10.1142/9781848160224_0014
  2. P. Deift and R. Killip, "On the absolutely continuous spectrum of one-dimensional Schrödinger operators with square summable potentials", Comm. Math. Phys. 203 (1999), 341–347. doi:10.1007/s002200050615
  3. S. A. Denisov, "Absolutely continuous spectrum of multidimensional Schrödinger operator", Int. Math. Res. Not. 2004, no. 74, 3963–3982. arXiv:math/0408376
  4. S. A. Denisov, "Multidimensional L² conjecture: a survey", in Recent Trends in Analysis, Theta Ser. Adv. Math. 16, Theta Foundation, 2013, pp. 101–112. arXiv:1203.4255
  5. S. A. Denisov, "Subharmonic functions in scattering theory", C. R. Math. Acad. Sci. Paris 359 (2021), 757–762. doi:10.5802/crmath.217
  6. O. Safronov, "Absolutely continuous spectrum of a typical Schrödinger operator with a slowly decaying potential", preprint, 2011. arXiv:1111.5552

Source

Imported from Simon's problems in mathematical physics 2000-8, curated by Barry Simon. Open according to the source as of 2026-10-20. The statement above is written in our own words; see the source for the original wording, history and discussion.