Table of Contents
Fetching ...

Quantitative propagation of smallness and spectral estimates for the Schrödinger operator

Kévin Le Balc'h, Jérémy Martin

Abstract

In this paper, we investigate quantitative propagation of smallness properties for the Schrödinger operator on a bounded domain in $\mathbb R^d$. We extend Logunov, Malinnikova's results concerning propagation of smallness for $A$-harmonic functions to solutions of divergence elliptic equations perturbed by a bounded zero order term. We also prove similar results for gradient of solutions to some particular equations. This latter result enables us to follow the recent strategy of Burq, Moyano for the obtaining of spectral estimates on rough sets for the Schrödinger operator. Applications to observability estimates and to the null-controllability of associated parabolic equations posed on compact manifolds or the whole euclidean space are then considered.

Quantitative propagation of smallness and spectral estimates for the Schrödinger operator

Abstract

In this paper, we investigate quantitative propagation of smallness properties for the Schrödinger operator on a bounded domain in . We extend Logunov, Malinnikova's results concerning propagation of smallness for -harmonic functions to solutions of divergence elliptic equations perturbed by a bounded zero order term. We also prove similar results for gradient of solutions to some particular equations. This latter result enables us to follow the recent strategy of Burq, Moyano for the obtaining of spectral estimates on rough sets for the Schrödinger operator. Applications to observability estimates and to the null-controllability of associated parabolic equations posed on compact manifolds or the whole euclidean space are then considered.
Paper Structure (17 sections, 14 theorems, 147 equations)

This paper contains 17 sections, 14 theorems, 147 equations.

Key Result

Theorem 2.1

Let $\rho, m, \delta >0$ and $\mathcal{K}, E \subset \Omega$, be measurable subsets such that There exist $C=C(\Omega, \Lambda_1, \Lambda_2, \|V\|_{\infty}, \rho, m, \delta)>0$ and $\alpha=\alpha(\Omega, \Lambda_1, \Lambda_2, \|V\|_{\infty}, \rho, m, \delta) \in (0,1)$ such that for every weak solution $u \in W^{1,2}(\Omega) \cap L^{\infty}(\Omega)$ of the elliptic equation we have

Theorems & Definitions (21)

  • Theorem 2.1
  • Theorem 2.2
  • Theorem 2.3
  • Theorem 2.4
  • Theorem 2.5
  • Definition 2.6
  • Theorem 2.7
  • Theorem 2.8
  • Theorem 2.9
  • Lemma 3.1
  • ...and 11 more