Application of uncertainty principles for decaying densities to the observability of the Schrödinger equation

1. Problemstellung und Motivation

Das zentrale Thema der Arbeit ist die Beobachtbarkeit (Observability) der freien Schrödinger-Gleichung im euklidischen Raum $\mathbb{R}^d$:
$$i\partial_t u + \Delta u = 0, \quad u(0, \cdot) = u_0 \in L^2(\mathbb{R}^d).$$

Ein System heißt beobachtbar in einem messbaren Bereich $O \subset \mathbb{R}^d$ über einen Zeitraum $(0, T)$, wenn die $L^2$-Norm des Anfangszustands $u_0$ durch die $L^2$-Norm der Lösung $u(t, \cdot)$ eingeschränkt auf $O$ kontrolliert werden kann. Formal bedeutet dies die Existenz einer Konstante $C > 0$, sodass:
$$\|u_0\|_{L^2(\mathbb{R}^d)}^2 \le C \int_0^T \int_O |e^{it\Delta}u_0|^2 \, dx \, dt.$$

Das Problem:
Bisherige Ergebnisse haben gezeigt, dass eine notwendige Bedingung für die Beobachtbarkeit ist, dass die Menge $O$ „dick" (thick) ist, d.h., dass sie in jedem Ball fester Größe ein positives Maß hat. In einer Dimension ist dies auch hinreichend. In höheren Dimensionen ($d \ge 2$) sind die hinreichenden Bedingungen jedoch weniger scharf. Bekannte hinreichende Bedingungen umfassen die Geometrische Kontrollbedingung (GCC) oder die Endlichkeit des Komplements $|O^c| < \infty$.

Die Lücke:
Die Autoren untersuchen, ob die Beobachtbarkeit auch für Mengen gilt, die nicht überall „dick" im klassischen Sinne sind, sondern deren „Dicke" mit zunehmendem Abstand vom Ursprung abnimmt. Sie führen das Konzept von Mengen ein, die bezüglich einer abklingenden Dichte (decaying density) $\rho(x)$ dick sind. Das Ziel ist es, hinreichende Bedingungen für die Beobachtbarkeit zu finden, wenn die Beobachtungsregion $O$ in den Randbereichen des Raumes dünner wird, aber nicht zu schnell verschwindet.

2. Methodik

Der Beweisstrategie liegt eine Kombination aus quantitativen Unsicherheitsprinzipien und abstrakten Resolventenabschätzungen zugrunde.

A. Quantitative Unsicherheitsprinzipien für abklingende Dichten

Die Arbeit stützt sich maßgeblich auf ein quantitatives Unsicherheitsprinzip von Kovrijkine (inspiriert von Shubin, Vakilian und Wolff). Dieses Prinzip besagt, dass eine Funktion $f$ und ihre Fourier-Transformierte $\hat{f}$ nicht gleichzeitig stark lokalisiert sein können.
Spezifisch nutzen die Autoren den Satz von Kovrijkine in der folgenden Form: Für zwei radiale Dichtefunktionen $\rho_1, \rho_2$, die eine bestimmte Wachstumsbedingung erfüllen, existiert eine Konstante $C$, sodass für jede Menge $O$ (dick bezüglich $\rho_1$) und $\Omega$ (dick bezüglich $\rho_2$) gilt:
$$\|f\|_{L^2}^2 \le C \left( \int_O |f|^2 + \int_\Omega |\hat{f}|^2 \right).$$
Dies erlaubt es, die Energie einer Funktion durch ihre Masse in einer räumlich „dünnen" Menge und ihre spektrale Masse in einer entsprechenden Menge zu kontrollieren.

B. Resolventenabschätzungen und abstrakte Kriterien

Um von den Unsicherheitsprinzipien zur Beobachtbarkeit der Schrödinger-Gleichung zu gelangen, verwenden die Autoren abstrakte Kriterien (basierend auf Miller, Su, Sun, Yuan):

1. Resolventenabschätzung: Es wird gezeigt, dass für den Operator $-\Delta$ und eine geeignete Menge $O$ eine Ungleichung der Form
   $$\|f\|_{L^2}^2 \le M(\lambda) \|(-\Delta - \lambda)f\|_{L^2}^2 + m \|f\|_{L^2(O)}^2$$
   gilt, wobei $M(\lambda)$ eine von $\lambda$ abhängige Funktion ist.
2. Abhängigkeit von $\lambda$:
   • Für die Beobachtbarkeit zu einem festen Zeitpunkt $T$ (oder für große $T$) reicht es aus, dass $M(\lambda)$ beschränkt ist.
   • Für die Beobachtbarkeit zu jedem Zeitpunkt $T > 0$ muss $M(\lambda)$ gegen Null konvergieren, wenn $\lambda \to \infty$ (hohe Frequenzen).

Die Autoren konstruieren spezifische Mengen $A_{\lambda, \beta}$ im Frequenzraum, die „dünn" bezüglich der abklingenden Dichte sind, und nutzen die Unsicherheitsprinzipien, um die Resolventenabschätzungen herzuleiten.

3. Hauptergebnisse

Die Arbeit liefert drei Hauptsätze, die hinreichende Bedingungen für die Beobachtbarkeit basierend auf der Abklingrate der Dichte $\rho(x)$ liefern.

Satz 1.3 (Beobachtbarkeit für große Zeiten)

Sei $\rho(x) = O(|x|^{-1})$ für $|x| \to \infty$.
Wenn $O$ eine messbare $(\gamma, \rho)$-dicke Menge ist (d.h., das Maß des Schnitts von $O$ mit einem Ball $B(x, \rho(x))$ ist mindestens $\gamma$-fach so groß wie das Maß des Balls), dann ist die Schrödinger-Gleichung für hinreichend große Zeiten $T \ge T_0$ beobachtbar in $(0, T) \times O$.

• Bedeutung: Eine Abklingrate von $1/|x|$ reicht aus, um die Beobachtbarkeit für lange Zeiträume zu garantieren.

Satz 1.4 (Beobachtbarkeit für alle Zeiten)

Sei $\rho(x) = O(|x|^{-\alpha})$ mit $\alpha > 1$.
Wenn $O$ eine $(\gamma, \rho)$-dicke Menge ist, dann ist die Gleichung für jede Zeit $T > 0$ beobachtbar.
Die Beobachtbarkeitskonstante wächst dabei exponentiell mit $1/T^2$:
$$\|u_0\|_{L^2}^2 \le C e^{C/T^2} \int_0^T \int_O |e^{it\Delta}u_0|^2 \, dx \, dt.$$

• Bedeutung: Eine schnellere Abklingrate ($\alpha > 1$) erlaubt die Beobachtbarkeit auch für sehr kurze Zeiträume. Dies korreliert mit der Tatsache, dass hochfrequente Anteile schneller dispergieren und somit schneller aus dem Beobachtungsbereich entweichen könnten, wenn die Dichte nicht schnell genug abfällt.

Satz 1.5 (Beobachtbarkeit an zwei Zeitpunkten)

Für zwei Zeitpunkte $T > S > 0$ und zwei Mengen $O_1, O_2$:
Wenn $O_1$ bezüglich $\rho_\alpha(x) = O(|x|^{-\alpha})$ dick ist und $O_2$ bezüglich $\rho_{1/\alpha}(x) = O(|x|^{-1/\alpha})$ dick ist, dann gilt die Beobachtbarkeitsungleichung:
$$\|u_0\|_{L^2}^2 \le C \left( \int_{O_1} |e^{iT\Delta}u_0|^2 + \int_{O_2} |e^{iS\Delta}u_0|^2 \right).$$
Dies verallgemeinert frühere Ergebnisse, die nur Mengen mit endlichem Komplement betrachteten.

4. Erweiterungen und Anwendungen

Die Autoren zeigen, dass ihre Methode auf verallgemeinerte Schrödinger-Gleichungen übertragbar ist:

1. Fractional Schrödinger Equation: Für den Operator $(-\Delta)^s$ mit $s > 1/2$ können ähnliche Ergebnisse erzielt werden. Die erforderliche Abklingrate $\alpha$ hängt von $s$ ab ($\alpha = \frac{1}{2s-1}$). Mit steigendem $s$ wird die Anforderung an die Dicke der Menge schwächer.
2. Potenziale: Die Ergebnisse gelten auch für die Schrödinger-Gleichung mit einem beschränkten reellen Potenzial $V \in L^\infty(\mathbb{R}^d)$. Hier wird eine Kombination aus Kovrijkines Resultaten und neueren spektralen Abschätzungen für gestörte Operatoren verwendet.

5. Signifikanz und Fazit

• Verallgemeinerung bekannter Bedingungen: Die Arbeit erweitert das Verständnis der Beobachtbarkeit über den klassischen Fall konstanter Dichten hinaus. Sie zeigt, dass Beobachtungsregionen, die im Unendlichen „dünn" werden, dennoch ausreichen, solange sie nicht zu schnell verschwinden.
• Scharfheit der Ergebnisse: Die Autoren diskutieren, dass ihre Bedingungen in Dimension $d=1$ nicht scharf sind (dort reicht konstante Dicke auch für alle Zeiten). In höheren Dimensionen sind die Ergebnisse jedoch neu und liefern konkrete hinreichende Bedingungen, die andere bekannte Bedingungen (wie GCC oder endliches Komplement) nicht abdecken. Beispielsweise gibt es Mengen, die bezüglich einer abklingenden Dichte dick sind, aber weder die GCC erfüllen noch ein endliches Komplement haben.
• Methodischer Beitrag: Die Arbeit demonstriert die effektive Anwendung von Kovrijkines quantitativen Unsicherheitsprinzipien auf die Analyse von Resolventenabschätzungen für die Schrödinger-Gleichung in unbeschränkten Gebieten. Sie verbindet harmonische Analysis (Fourier-Transformation, Unsicherheitsprinzipien) direkt mit der Kontrolltheorie partieller Differentialgleichungen.

Zusammenfassend liefert der Artikel eine fundierte theoretische Grundlage dafür, wie die räumliche Verteilung und das Abklingen von Beobachtungsregionen die Rekonstruierbarkeit von Quantenzuständen beeinflussen, und bietet neue Werkzeuge für die Analyse von Kontrollproblemen in der mathematischen Physik.