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

Technisches Resümee: Quantitative Beobachtbarkeit für eindimensionale Schrödinger-Gleichungen mit Potenzialen

Problemstellung
Diese Notiz behandelt die quantitative Beobachtbarkeit der eindimensionalen Schrödinger-Gleichung auf der reellen Geraden $\mathbb{R}$ mit einem reellwertigen, beschränkten und stetigen Potenzial $V(x)$. Die Gleichung ist gegeben durch:
$$i\partial_t u - \partial_x^2 u + V(x)u = 0, \quad u|_{t=0} = u_0 \in L^2(\mathbb{R}).$$
Die zentrale Frage ist, ob der Anfangszustand $u_0$ durch die Lösung $u(t)$ auf einer messbaren Teilmenge $\Omega \subset \mathbb{R}$ über ein Zeitintervall $(0, T)$ eindeutig bestimmt (und in der $L^2$-Norm beschränkt) werden kann. Konkret suchen die Autoren nach einer Ungleichung der Form:
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C(T, V, \Omega) \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt,$$
wobei die Kontrollkosten $C(T, V, \Omega)$ explizit quantifiziert werden. Die Untersuchung konzentriert sich auf „raue“ Kontrollregionen, speziell $(L, \zeta)$-dicke Mengen, definiert als messbare Mengen, die die Bedingung $|\Omega \cap [x, x+L]| \geq \zeta L$ für alle $x \in \mathbb{R}$ erfüllen. Während die Beobachtbarkeit auf kompakten Mannigfaltigkeiten und beschränkten Domänen gut untersucht ist, bleibt der Fall von unbeschränkten Domänen mit allgemeinen beschränkten Potenzialen und beliebigen kurzen Beobachtungszeiten $T > 0$ weniger erforscht.

Methodik
Der Beweis des Hauptsatzes beruht auf einer dreistufigen Strategie, die Spektralanalyse, Resolventenschätzungen und ein quantitatives Verklebe-Argument kombiniert:

1. Spektrale Ungleichung für niedrige Frequenzen:
   Die Autoren etablieren eine Spektralungleichung für den niederfrequenten Teil der Lösung. Dies beinhaltet den Nachweis einer Ausbreitung der Kleinerheit (propagation of smallness) für Lösungen einer 2D-elliptischen Gleichung, die aus dem Schrödinger-Operator abgeleitet ist.

   • Sie nutzen eine Gauge-Transformation, um die nicht-divergenzförmige elliptische Gleichung $-\Delta \phi + V(x)\phi = 0$ auf eine Divergenzform $\nabla \cdot (A(z)\nabla \tilde{\phi}) = 0$ zu reduzieren.
   • Unter Nutzung eines aktuellen Ergebnisses von [38] zur Ausbreitung der Kleinerheit für elliptische Gleichungen auf der Ebene leiten sie eine $L^2$-Ausbreitung der Kleinerheit her.
   • Dies führt zu einer Spektralungleichung (Lemma 3.8) der Form $\|\Pi_\mu f\|_{L^2} \leq C e^{3\mu} \|\Pi_\mu f\|_{L^2(\Omega)}$, wobei $\Pi_\mu$ der Spektralprojektor für Frequenzen bis $\mu$ ist. Dieses Ergebnis erweitert die Spektralungleichung von Lebeau-Moyano [27] von reell-analytischen Potenzialen auf beschränkte kontinuierliche Potenzialen.

2. Hochfrequenz-Resolventenschätzung:
   Für den hochfrequenten Teil leiten die Autoren eine Resolventenschätzung (Lemma 4.1) des Hautus-Typs her:
   $$\|f\|_{L^2}^2 \leq \frac{C}{\mu} \|(H - \mu)f\|_{L^2}^2 + C \|f\|_{L^2(\Omega)}^2.$$
   Obwohl ähnliche Schätzungen für den freien Schrödinger-Operator ($V=0$) in [19] existieren, liefern die Autoren einen eigenständigen, elementäreren Beweis für den Fall mit einem Potenzial $V \in L^\infty(\mathbb{R})$. Dieser Beweis nutzt eine quantitative Analyse des Logvinenko-Sereda-Unschärfeprinzips, insbesondere die Abschätzung des Integrals von $\cos^2(\lambda(x-x_0))$ über dicke Mengen (Lemma 4.2).

3. Quantitatives Verkleben mittels FBI-Transformation:
   Der empfindlichste Teil der Analyse ist die Kombination der Niederfrequenz- und Hochfrequenzschätzungen, um die vollständige Beobachtbarkeit zu erhalten. In nicht-kompakten Settings, in denen der Operator keinen kompakten Resolventen besitzt, versagen Standard-Argumente der Kompaktheit-Eindeutigkeit.

   • Die Autoren verwenden eine quantitative Eindeutigkeitsfortsetzung (unique continuation property), die aus der Beobachtbarkeit des zugehörigen Wärmesemigroups abgeleitet ist.
   • Sie führen die Fourier-Bros-Iagolnitzer (FBI)-Transformation ein, um die 1D-Schrödinger-Gleichung auf eine 1D-Wärmegleichung abzubilden.
   • Durch die Etablierung der Rückwärts-in-der-Zeit-Beobachtbarkeit für das Wärmesemigroups (Proposition 3.10) und die Anwendung der FBI-Transformation leiten sie eine quantitative Eindeutigkeitsfortsetzungs-Abschätzung (Proposition 5.1) her, die die Schrödinger-Lösung mit der Wärmelösung verknüpft.
   • Dies ermöglicht es ihnen, die Schätzungen zu „verkleben“, wodurch die Notwendigkeit von Kompakten-Resolvent-Argumenten vermieden wird.

Wichtigste Ergebnisse
Das Hauptergebnis (Theorem 1.2) besagt, dass für jede $(L, \zeta)$-dicke Menge $\Omega$ und jedes Potenzial $V \in C(\mathbb{R}) \cap L^\infty(\mathbb{R})$ eine Konstante $C = C(V, L, \zeta)$ existiert, sodass für jedes $T > 0$ gilt:
$$\|u_0\|_{L^2(\mathbb{R})}^2 \leq C e^{\frac{C}{T^2}} \int_0^T \|u(t)\|_{L^2(\Omega)}^2 dt.$$
Zu den Hauptmerkmalen dieses Ergebnisses gehören:

• Beliebige kurze Zeiten: Die Beobachtbarkeit gilt für jedes $T > 0$, nicht nur für große Zeiten.
• Explizite Kontrollkosten: Die Wachstumsrate der Kontrollkosten ist explizit als $e^{C/T^2}$ gegeben.
• Allgemeine Potenzialen: Das Ergebnis gilt für beschränkte kontinuierliche Potenzialen und erweitert damit bisherige Arbeiten, die auf freie Gleichungen oder reell-analytische Potenzialen beschränkt waren.

Als Konsequenz der Hilbertschen Uniqueness Method beweisen die Autoren auch die exakte Steuerbarkeit der zugehörigen inhomogenen Schrödinger-Gleichung (Corollary 1.4).

Bedeutung und Ansprüche
Die Autoren positionieren diese Arbeit als signifikante Erweiterung der bestehenden Literatur in mehreren Punkten:

• Erweiterung von Huang-Wang-Wang [20]: Sie erweitern das Beobachtbarkeitsergebnis für lange Zeiten der 1D-freien Schrödinger-Gleichung auf jede kurze Zeit $T > 0$ und generalisieren es auf Operatoren mit beschränkten kontinuierlichen Potenzialen. Dies beantwortet eine spezifische Frage aus [20] bezüglich der Beobachtbarkeit bei kurzen Zeiten.
• Erweiterung von Lebeau-Moyano [27]: Sie erweitern die Spektralungleichung, die zuvor für reell-analytische Potenzialen etabliert wurde, auf den Fall von beschränkten kontinuierlichen Potenzialen in einer Dimension.
• Nicht-kompakter Kontext: Die Arbeit adressiert das Beobbarkeitsproblem auf einer unbeschränkten Domäne ($\mathbb{R}$) mit rauen Kontrollregionen, ein Setup, das als wesentlich weniger untersucht gilt als der Fall der kompakten Mannigfaltigkeit.
• Methodischer Beitrag: Die Autoren heben ihren Einsatz der FBI-Transformation hervor, um die Lücke zwischen Wärme- und Schrödinger-Beobachtbarkeit in nicht-kompakten Settings zu schließen und somit eine quantitative Alternative zur klassischen Kompaktheit-Eindeutigkeitsstrategie zu bieten, die aufgrund des Fehlens eines kompakten Resolventen hier nicht anwendbar ist.

Das Paper schließt mit dem Hinweis, dass die Ergebnisse mittels eines Standard-Dichtearguments auf Potenzialen in $L^\infty(\mathbb{R})$ erweiterbar sind, wenngleich die primäre Analyse zur Vereinfachung der Notation für kontinuierliche Potenzialen präsentiert wird.