Table of Contents
Fetching ...

Observability of Schrödinger propagators on tori in rough settings

Nicolas Burq, Hui Zhu

TL;DR

This work addresses the observability of Schrödinger propagators on $\mathbb{T}^d$ under rough potentials by reducing observability to integrability properties of free Schrödinger waves. It introduces a general $\chi$-observability criterion, leveraging cluster decompositions and dimensional reduction to establish strong observability from space–time domains of positive measure, at least in low dimensions and under mild integrability conditions on $V$. A key contribution is the construction of convenable Bourgain-type spaces and a robust uniqueness–compactness framework that upgrades weak to strong observability, with explicit results in dimension $d=1$ (and extensions to higher $d$ under certain assumptions). The results connect to Cantor–Lebesgue-type phenomena, control theory via exact controllability, and quantum-limit observability, offering new domains and weaker, yet nontrivial, integrability bounds that advance the conjectured L^∞ observability on tori. Overall, the paper provides a versatile framework for observability in rough toral settings, including periodized formulations and a detailed strategy that blends cluster analysis with unique continuation.

Abstract

On tori of arbitrary dimensions, Schrödinger propagators with bounded potentials are conjectured to be observable from space-time domains of positive Lebesgue measure. We reduce this conjecture to certain integrability bounds for free Schrödinger waves, thereby proving the conjecture on the one-dimensional torus and producing new examples of observation domains. These bounds are far weaker than Bourgain's conjectured periodic Strichartz estimates, yet remain highly nontrivial.

Observability of Schrödinger propagators on tori in rough settings

TL;DR

This work addresses the observability of Schrödinger propagators on under rough potentials by reducing observability to integrability properties of free Schrödinger waves. It introduces a general -observability criterion, leveraging cluster decompositions and dimensional reduction to establish strong observability from space–time domains of positive measure, at least in low dimensions and under mild integrability conditions on . A key contribution is the construction of convenable Bourgain-type spaces and a robust uniqueness–compactness framework that upgrades weak to strong observability, with explicit results in dimension (and extensions to higher under certain assumptions). The results connect to Cantor–Lebesgue-type phenomena, control theory via exact controllability, and quantum-limit observability, offering new domains and weaker, yet nontrivial, integrability bounds that advance the conjectured L^∞ observability on tori. Overall, the paper provides a versatile framework for observability in rough toral settings, including periodized formulations and a detailed strategy that blends cluster analysis with unique continuation.

Abstract

On tori of arbitrary dimensions, Schrödinger propagators with bounded potentials are conjectured to be observable from space-time domains of positive Lebesgue measure. We reduce this conjecture to certain integrability bounds for free Schrödinger waves, thereby proving the conjecture on the one-dimensional torus and producing new examples of observation domains. These bounds are far weaker than Bourgain's conjectured periodic Strichartz estimates, yet remain highly nontrivial.

Paper Structure

This paper contains 41 sections, 44 theorems, 150 equations, 2 tables.

Key Result

Theorem 1.2

Let $A$ be the closed subalgebra of $L^\infty(\mathbb{R} \times \mathbb{T}^d)$ (i.e., a closed subspace stable under multiplication) generated by all elements that are either The Schrödinger propagator $\mathcal{U}_V$ is observable from $\Omega$ if In particular, Conjecture conj::L-infty-observability holds on the one-dimensional torus.

Theorems & Definitions (76)

  • Conjecture 1.1
  • Theorem 1.2
  • Corollary 1.3
  • Conjecture 1.4
  • Corollary 1.5
  • Theorem 1.6
  • Corollary 1.7
  • Theorem 1.8
  • Conjecture 1.9
  • Theorem 1.10
  • ...and 66 more