Small-time estimates for a real moment problem with two-term Weyl spectral law

1. Il Problema di Ricerca

Il lavoro si concentra sulla solvibilità di problemi di momenti che coinvolgono esponenziali reali $e^{\lambda_k t}$, dove $(\lambda_k)_{k \in \mathbb{N}^*}$ è una sequenza crescente di numeri reali distinti.
In particolare, gli autori studiano la possibilità di trovare una funzione di controllo $u \in L^2(0, T)$ tale che, per una data sequenza di scalari $(x_k)$, valga:
$$\int_0^T e^{\lambda_k t} u(t) \, dt = x_k, \quad \forall k \in \mathbb{N}^*.$$
L'obiettivo principale è fornire stime esplicithe del costo di controllo (la norma $L^2$ di $u$) quando il tempo $T$ tende a zero.

Il contesto applicativo è il problema di controllo nullo per equazioni paraboliche lineari e il controllo esatto locale bilineare per equazioni di calore frazionarie o di ordine superiore in domini multidimensionali.

La sfida specifica affrontata è quella di trattare sequenze spettrali che soddisfano una legge asintotica di Weyl a due termini, ma che non soddisfano condizioni di spaziatura uniforme (gap condition) sui blocchi di autovalori. Questo è un caso in cui i risultati classici (basati su gap uniformi o condizioni di condensa) falliscono o non forniscono stime ottimali per tempi brevi.

2. Metodologia e Ipotesi Principali

Gli autori assumono che la sequenza spettrale $\mu = (\mu_k)$ soddisfi le seguenti proprietà:

1. Legge di Weyl a due termini: Esistono costanti $c_{W,1}, c_{W,2} > 0$ e parametri $0 < b < a < 5/8$ tali che la funzione di conteggio $N_\mu(\Gamma) = \#\{k : \mu_k \le \Gamma\}$ soddisfa:
   $$c_{W,1}\Gamma^a - c_{W,2}\Gamma^b \le N_\mu(\Gamma) \le c_{W,1}\Gamma^a + c_{W,2}\Gamma^b.$$
   Questo modello include casi come gli autovalori dell'operatore di Laplace o Bi-Laplaciano su domini bidimensionali, dove la densità spettrale ha un termine principale e un termine di correzione.

2. Condizione di gap debole: Non si richiede un gap uniforme tra gli autovalori adiacenti, ma solo una condizione di non-degenerazione esponenziale:
   $$\mu_{k+1} - \mu_k \ge \exp(-c_w \mu_k^{1/2}).$$

3. Assenza di spaziatura uniforme sui blocchi: Il lavoro tratta esplicitamente casi in cui non esiste un intero $M$ tale che $\inf_k |\mu_{k+M} - \mu_k| \neq 0$. Questo è cruciale per domini multidimensionali con risonanze o autovalori multipli.

Strumenti Matematici:

• Famiglie Bi-ortogonali: Costruzione di famiglie bi-ortogonali alle esponenziali $e^{\mu_k t}$ per risolvere il problema dei momenti.
• Strategia Lebeau-Robbiano: Una tecnica che combina il controllo in spazi a frequenza finita (filtrati) con la dissipazione dell'equazione del calore per ottenere il controllo nullo nello spazio completo.
• Sequenze Ausiliarie: Per gestire la mancanza di gap uniformi, gli autori introducono una sequenza ausiliaria $\nu_k$ che "addolcisce" la distribuzione spettrale oltre una certa soglia di frequenza $\Lambda$, permettendo di applicare risultati esistenti (come quelli di [26]) in modo adattato.

3. Risultati Chiave

A. Stime per il Problema dei Momenti (Teorema 1.1)

Il risultato principale stabilisce che, sotto le ipotesi sopra descritte (con $1/2 \le a < 5/8$), esiste una soluzione $u$ al problema dei momenti con un costo di controllo che cresce esponenzialmente al diminuire di $T$:
$$\|u\|_{L^2(0,T)} \le C \exp\left( \frac{C}{T^{\alpha_{\varepsilon, \delta}}} \right) \|zx\|_{\ell^2},$$
dove l'esponente $\alpha_{\varepsilon, \delta}$ dipende dai parametri della legge di Weyl ($a, b$) e dalla condizione di non-degenerazione del controllore ($\delta$).

• Novità: Questa stima è valida anche quando la sequenza spettrale ha "blocchi" di autovalori di dimensione illimitata, una situazione non trattata dai risultati precedenti che richiedevano gap uniformi.

B. Controllo Nullo per Sistemi Lineari (Teorema 1.3)

Applicando il risultato sui momenti, gli autori dimostrano la null-controllabilità in tempo arbitrariamente piccolo per un sistema lineare astratto:
$$\xi'(t) + A\xi(t) + Bv(t) = 0.$$
Il costo di controllo soddisfa la stessa stima esponenziale del Teorema 1.1. Questo implica che l'indice di condensazione della sequenza spettrale è nullo ($c(\mu)=0$), garantendo l'assenza di un tempo minimo di controllo.

C. Controllo Bilineare Esatto Locale (Teorema 1.8)

Il lavoro estende i risultati al controllo bilineare:
$$\psi'(t) + A\psi(t) + v(t)B\psi(t) = 0.$$
Dimostrano che il sistema è localmente esattamente controllabile alle autofunzioni (eigensolutions) in tempo arbitrariamente piccolo. Questo supera le limitazioni dei lavori precedenti (es. [16]) che richiedevano condizioni di gap spettrale più forti (come la condizione (1.20) nel testo).

4. Esempi e Applicazioni

Gli autori forniscono un esempio concreto e significativo:

• Domini Bidimensionali: Considerano l'operatore Bi-Laplaciano ($\Delta^2$) su un rettangolo $\Omega = (0, a) \times (0, b)$ con condizioni al contorno di tipo "hinged".
• Condizione Geometrica: Se il rapporto $a^2/b^2$ è un numero algebrico irrazionale, la distribuzione degli autovalori soddisfa le ipotesi del teorema (legge di Weyl a due termini con $a=1/2, b=1/4$), ma non soddisfa le condizioni di gap uniforme sui blocchi.
• Risultato: Viene dimostrata la controllabilità bilineare esatta locale per tale sistema, un risultato non ottenibile con le tecniche classiche basate su gap uniformi.

5. Significato e Contributo Scientifico

Questo lavoro rappresenta un avanzamento significativo nella teoria del controllo delle equazioni paraboliche in dimensioni superiori:

1. Generalizzazione delle Ipotesi Spettrali: Rimuove la necessità di condizioni di "gap uniforme" sui blocchi spettrali, che sono spesso violate in domini multidimensionali complessi o con geometrie specifiche.
2. Ottimizzazione delle Stime: Fornisce stime esplicative del costo di controllo per tempi brevi in regimi asintotici più generali (legge di Weyl a due termini).
3. Ponte tra Analisi Spettrale e Controllo: Dimostra come le proprietà fini della distribuzione spettrale (come il termine di correzione nella legge di Weyl) influenzino direttamente la fattibilità e il costo del controllo in tempo breve.
4. Applicabilità Pratica: Apre la strada allo studio del controllo di sistemi fisici complessi (come le lastre vibranti o equazioni di calore frazionarie) in domini bidimensionali e tridimensionali, dove le risonanze spettrali sono comuni.

In sintesi, il paper risolve un problema aperto riguardante la controllabilità in tempo breve per sistemi con spettri "densi" o con accumuli non uniformi, fornendo strumenti analitici robusti per trattare casi reali che sfuggono alla teoria classica.