Quantitative observability for one-dimensional Schrödinger equations with potentials

Technische Samenvatting: Kwantitatieve Observabiliteit voor Eendimensionale Schrödinger-vergelijkingen met Potentialen

Probleemstelling
Deze nota behandelt de kwantitatieve observabiliteit van de eendimensionale Schrödinger-vergelijking op de reële lijn $\mathbb{R}$ met een reële, begrensde en continue potentiaal $V(x)$. De vergelijking wordt gegeven door:
$$i\partial_t u - \partial_x^2 u + V(x)u = 0, \quad u|_{t=0} = u_0 \in L^2(\mathbb{R}).$$
De centrale vraag is of de initiële toestand $u_0$ uniek bepaald kan worden (en begrensd kan worden in de $L^2$-norm) door de oplossing $u(t)$ te observeren op een meetbare deelverzameling $\Omega \subset \mathbb{R}$ over een tijdsinterval $(0, T)$. Specifiek zoeken de auteurs naar een ongelijkheid van de vorm:
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C(T, V, \Omega) \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt,$$
waarbij de controlekosten $C(T, V, \Omega)$ expliciet gekwantificeerd zijn. De studie richt zich op "ruwe" controlegebieden, specifiek $(L, \zeta)$-dikke verzamelingen, gedefinieerd als meetbare verzamelingen die voldoen aan $|\Omega \cap [x, x+L]| \geq \zeta L$ voor alle $x \in \mathbb{R}$. Hoewel observabiliteit op compacte manifolds en begrensde domeinen uitgebreid is bestudeerd, blijft het geval van onbegrensde domeinen met algemene begrensde potentialen en willekeurige korte observatietijden $T > 0$ minder onderzocht.

Methodologie
Het bewijs van de hoofdstelling rust op een driestapsstrategie die spectrale analyse, resolvent-schattingen en een kwantitatief lijmargument combineert:

1. Spectrale Ongelijkheid voor Lage Frequenties:
   De auteurs stellen een spectrale ongelijkheid vast voor het laagfrequente deel van de oplossing. Dit houdt in dat zij een propagatie van kleinheid bewijzen voor oplossingen van een 2D elliptische vergelijking afgeleid van de Schrödinger-operator.

   • Zij maken gebruik van een gauge-transformatie om de niet-divergentievormige elliptische vergelijking $-\Delta \phi + V(x)\phi = 0$ te reduceren tot een divergentievorm $\nabla \cdot (A(z)\nabla \tilde{\phi}) = 0$.
   • Door gebruik te maken van een recent resultaat van [38] over de propagatie van kleinheid voor elliptische vergelijkingen op het vlak, leiden zij een $L^2$-propagatie van kleinheidsschatting af.
   • Dit leidt tot een spectrale ongelijkheid (Lemma 3.8) van de vorm $\|\Pi_\mu f\|_{L^2} \leq C e^{3\mu} \|\Pi_\mu f\|_{L^2(\Omega)}$, waarbij $\Pi_\mu$ de spectrale projectiector is geassocieerd met frequenties tot $\mu$. Dit resultaat breidt de spectrale ongelijkheid van Lebeau-Moyano [27] uit van reëel-analytische potentialen naar begrensde continue potentialen.

2. Resolvent-schatting voor Hoge Frequenties:
   Voor het hoogfrequente deel leiden de auteurs een resolvent-schatting (Lemma 4.1) van het Hautus-type af:
   $$\|f\|_{L^2}^2 \leq \frac{C}{\mu} \|(H - \mu)f\|_{L^2}^2 + C \|f\|_{L^2(\Omega)}^2.$$
   Hoewel vergelijkbare schattingen bestaan voor de vrije Schrödinger-operator ($V=0$) in [19], bieden de auteurs een afwijkende, meer elementaire bewijsvoering voor het geval met een potentiaal $V \in L^\infty(\mathbb{R})$. Dit bewijs maakt gebruik van een kwantitatieve analyse van het Logvinenko-Sereda onzekerheidsprincipe, specifiek het schatten van de integraal van $\cos^2(\lambda(x-x_0))$ over dikke verzamelingen (Lemma 4.2).

3. Kwantitatieve Samenvoeging via FBI-transformatie:
   Het meest delicate deel van de analyse is het combineren van de laagfrequente en hoogfrequente schattingen om de volledige observabiliteitsongelijkheid te verkrijgen. In niet-compacte instellingen waar de operator geen compact resolvent heeft, falen standaard compactheid-uniciteitsargumenten.

   • De auteurs maken gebruik van een kwantitatieve unieke voortzettingseigenschap afgeleid van de observabiliteit van de geassocieerde warmte-semigroep.
   • Zij introduceren de Fourier-Bros-Iagolnitzer (FBI) transformatie om de 1D Schrödinger-vergelijking te mappen naar een 1D warmtevergelijking.
   • Door een backward-in-time observabiliteit voor de warmte-semigroep vast te stellen (Proposition 3.10) en de FBI-transformatie toe te passen, leiden zij een kwantitatieve unieke voortzetting-schatting (Proposition 5.1) af die de Schrödinger-oplossing koppelt aan de warmte-oplossing.
   • Dit stelt hen in staat om de schattingen samen te voegen ("gluing"), waardoor de noodzaak voor compact resolvent-argumenten wordt vermeden.

Kernresultaten
De hoofdresultaat (Theorem 1.2) stelt dat er voor elke $(L, \zeta)$-dikke verzameling $\Omega$ en elke potentiaal $V \in C(\mathbb{R}) \cap L^\infty(\mathbb{R})$, een constante $C = C(V, L, \zeta)$ bestaat zodanig dat voor elke $T > 0$:
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C e^{\frac{C}{T^2}} \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt.$$
Belangrijke kenmerken van dit resultaat zijn:

• Willekeurige Korte Tijd: De observabiliteit houdt voor elke $T > 0$, niet alleen voor grote tijden.
• Expliciete Controlekosten: De blow-up rate van de controlekosten wordt expliciet gegeven als $e^{C/T^2}$.
• Algemene Potentialen: Het resultaat is van toepassing op begrensde continue potentialen, wat het eerdere werk dat beperkt was tot vrije vergelijkingen of reëel-analytische potentialen, uitbreidt.

Als gevolg van de Hilbert Uniciteitsmethode bewijzen de auteurs ook de exacte controleerbaarheid van de bijbehorende inhomogene Schrödinger-vergelijking (Corollary 1.4).

Betekenis en Claims
De auteurs positioneren dit werk als een significante uitbreiding van de bestaande literatuur op verschillende manieren:

• Uitbreiding van Huang-Wang-Wang [20]: Zij breiden het observabiliteitsresultaat voor lange tijd van de 1D vrije Schrödinger-vergelijking uit naar elke korte tijd $T > 0$ en generaliseren dit naar operatoren met begrensde continue potentialen. Dit beantwoordt een specifieke vraag gesteld in [20] betreffende observabiliteit bij korte tijden.
• Uitbreiding van Lebeau-Moyano [27]: Zij breiden de spectrale ongelijkheid, die eerder was vastgesteld voor reëel-analytische potentialen, uit naar het geval van begrensde continue potentialen in één dimensie.
• Niet-compacte Instelling: Het artikel adresseert het observabiliteitsprobleem op een onbegrensde domein ($\mathbb{R}$) met ruwe controlegebieden, een opstelling die als veel minder bestudeerd wordt beschouwd dan het compacte manifold-geval.
• Methodologische Bijdrage: De auteurs benadrukken hun gebruik van de FBI-transformatie om de kloof tussen warmte- en Schrödinger-observabiliteit in niet-compacte instellingen te overbruggen, wat een kwantitatief alternatief biedt voor de klassieke compactheid-uniciteitsstrategie die hier onbruikbaar is vanwege het gebrek aan een compact resolvent.

Het artikel concludeert door op te merken dat de resultaten kunnen worden uitgebreid naar potentialen in $L^\infty(\mathbb{R})$ via een standaard dichtheidsargument, hoewel de primaire analyse wordt gepresenteerd voor continue potentialen om de notatie te vereenvoudigen.