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

1. Il Problema

L'articolo si concentra sull'equazione di Schrödinger libera in spazi euclidei $\mathbb{R}^d$ ($d \ge 1$):
$$\begin{cases} i\partial_t u + \Delta u = 0 & \text{in } (0, +\infty) \times \mathbb{R}^d, \\ u(0, \cdot) = u_0 & \text{in } \mathbb{R}^d, \end{cases}$$
con $u_0 \in L^2(\mathbb{R}^d)$.

L'obiettivo principale è stabilire condizioni sufficienti per la osservabilità dell'equazione. Un sistema è osservabile su un insieme misurabile $O \subset \mathbb{R}^d$ in un tempo $T$ se l'energia totale dello stato iniziale può essere stimata dalla misura dell'energia della soluzione osservata su $O$ durante l'intervallo temporale $(0, T)$. Formalmente, si cerca una costante $C > 0$ tale che:
$$\|u_0\|_{L^2(\mathbb{R}^d)}^2 \le C \int_0^T \int_O |e^{it\Delta}u_0|^2 dx dt.$$

Il problema è particolarmente complesso in dimensioni $d \ge 2$, dove le condizioni necessarie e sufficienti per l'osservabilità non sono ancora completamente caratterizzate per insiemi generali. La letteratura precedente ha stabilito che la proprietà di "spessore" (thickness) è necessaria, ma le condizioni sufficienti spesso richiedono ipotesi geometriche forti (come la Condizione di Controllo Geometrico - GCC) o insiemi con complementi di misura finita.

2. Metodologia

Gli autori adottano un approccio basato sui principi di incertezza quantitativi adattati a densità decrescenti. La strategia di prova si articola in tre pilastri fondamentali:

1. Principi di Incertezza Quantitativi (Kovrijkine):
   Viene utilizzata una versione quantitativa del principio di incertezza (Teorema 2.1), che lega la norma $L^2$ di una funzione e della sua trasformata di Fourier su insiemi specifici. La novità risiede nell'uso di densità $\rho(x)$ che decadono all'infinito (es. $\rho(x) \sim |x|^{-\alpha}$).
   La disuguaglianza chiave è:
   $$\int_{\mathbb{R}^d} |f(x)|^2 dx \le C \left( \int_O |f(x)|^2 dx + \int_\Omega |\hat{f}(\xi)|^2 d\xi \right),$$
   dove $O$ e $\Omega$ sono insiemi "spessi" rispetto a densità $\rho_1$ e $\rho_2$ che soddisfano una condizione di reciprocità.

2. Stime di Risolvente:
   Per dimostrare l'osservabilità, gli autori derivano stime di risolvente per l'operatore di Schrödinger.

   • Per il caso di osservabilità in tempo grande ($T$ sufficientemente grande), utilizzano un criterio di Miller (Teorema 2.3) che collega l'osservabilità a una stima di risolvente uniforme.
   • Per il caso di osservabilità in qualsiasi tempo $T > 0$, utilizzano un approccio più raffinato (Teorema 2.4, ispirato a Su, Sun, Yuan) che richiede stime di risolvente ad alta frequenza con un coefficiente che decade a zero ($M(\lambda) \to 0$).

3. Connessione tra Osservabilità a Due Tempi e Principi di Incertezza:
   Per il risultato relativo all'osservabilità in due istanti distinti ($T$ e $S$), gli autori sfruttano l'equivalenza dimostrata da Wang, Wang, Zhang e Zhang tra i principi di incertezza e l'osservabilità a due tempi.

3. Contributi Chiave e Risultati Principali

Gli autori introducono il concetto di insieme $(\gamma, \rho)$-spesso (Definition 1.2): un insieme $O$ è spesso rispetto a una densità $\rho$ se, per ogni punto $x$, l'intersezione di $O$ con la palla $B(x, \rho(x))$ ha una misura relativa almeno $\gamma$.

I risultati principali sono:

• Teorema 1.3 (Osservabilità per tempo sufficientemente grande):
  Se la densità $\rho(x)$ decade come $O(|x|^{-1})$ all'infinito, allora esiste un $\gamma$ tale che se $O$ è $(\gamma, \rho)$-spesso, l'equazione è osservabile per ogni $T \ge T_0$.

  • Significato: Estende i risultati noti a insiemi che diventano "più sottili" all'infinito, purché il decadimento non sia troppo rapido.

• Teorema 1.4 (Osservabilità per ogni tempo $T > 0$):
  Se la densità decade più velocemente, ovvero $\rho(x) = O(|x|^{-\alpha})$ con $\alpha > 1$, allora l'osservabilità vale per ogni $T > 0$.

  • La costante di osservabilità ha una dipendenza esplicita dal tempo: $C \sim e^{C/T^2}$.
  • Questo risultato è ottenuto dimostrando che la condizione di spessore con $\alpha > 1$ permette di ottenere stime di risolvente ad alta frequenza con coefficiente decrescente.

• Teorema 1.5 (Osservabilità a due istanti temporali):
  Per due tempi $T > S > 0$, l'osservabilità è garantita se $O_1$ è spesso rispetto a $\rho_\alpha(x) = O(|x|^{-\alpha})$ e $O_2$ è spesso rispetto a $\rho_{1/\alpha}(x) = O(|x|^{-1/\alpha})$.

  • Questo generalizza i risultati precedenti mostrando una simmetria tra le densità richieste nei due istanti di osservazione.

• Estensioni (Sezioni 4.1 e 4.2):

  • Equazione di Schrödinger frazionaria: I risultati sono generalizzati all'equazione $i\partial_t u - (-\Delta)^s u = 0$. La condizione sul decadimento della densità diventa $\rho(x) = O(|x|^{-\alpha})$ con $\alpha = \frac{1}{2s-1}$. All'aumentare di $s$, il requisito di spessore si indebolisce.
  • Potenziale limitato: I risultati sono estesi all'equazione con un potenziale reale limitato $V \in L^\infty(\mathbb{R}^d)$, dimostrando che la presenza del potenziale non distrugge l'osservabilità sotto le stesse condizioni geometriche.

4. Significato e Impatto

1. Generalizzazione delle Condizioni Geometriche:
   Il lavoro supera le limitazioni delle condizioni classiche come la GCC (Geometric Control Condition) o la condizione di complemento di misura finita. Mostra che insiemi che non soddisfano la GCC (ad esempio, insiemi con buchi che crescono all'infinito ma in modo controllato dalla densità $\rho$) possono comunque garantire l'osservabilità.

2. Ruolo del Decadimento della Densità:
   Il paper stabilisce una relazione quantitativa precisa tra la velocità di decadimento della densità $\rho(x)$ e il tempo minimo di osservabilità.

   • Decadimento lento ($\alpha \le 1$) $\implies$ Osservabilità solo per tempi grandi.
   • Decadimento rapido ($\alpha > 1$) $\implies$ Osservabilità istantanea (per ogni $T>0$).

3. Unificazione Teorica:
   Dimostra come i principi di incertezza quantitativi, originariamente sviluppati per la teoria dell'approssimazione e l'analisi armonica, siano strumenti potenti e fondamentali per la teoria del controllo delle equazioni alle derivate parziali, in particolare per l'equazione di Schrödinger in spazi non compatti.

4. Ottimalità:
   Gli autori discutono che le loro condizioni non sono ottimali nel caso unidimensionale (dove la semplice spessezza costante è necessaria e sufficiente), ma forniscono condizioni sufficienti robuste e non banali per dimensioni superiori, dove la caratterizzazione completa è ancora aperta.

In sintesi, questo articolo fornisce un quadro teorico avanzato per l'osservabilità dell'equazione di Schrödinger, collegando la geometria degli insiemi di osservazione (tramite densità decrescenti) alle proprietà spettrali dell'operatore, offrendo nuovi strumenti per l'analisi di sistemi quantistici in spazi aperti.