Bilinear control to trajectories of 1D degenerate parabolic equations in moving domains

Sintesi Tecnica: Controllo Bilineare alle Traiettorie di Equazioni Paraboliche Degenerate 1D in Domini in Movimento

Enunciazione del Problema
Questo articolo indaga le proprietà di controllabilità locale di equazioni paraboliche semilineari degenerate unidimensionali definite su domini limitati che evolvono nel tempo. Il sistema specifico in esame è governato da un controllo bilineare che agisce attraverso il coefficiente del termine di reazione. Il dominio $\Omega_t$ è definito come $(0, \ell(t))$, dove il bordo $\ell(t)$ è una funzione continuamente differenziabile del tempo, creando un dominio spazio-temporale non cilindrico $\hat{Q}$. Il coefficiente di diffusione $a(x)$ degenera al bordo $x=0$ (ad esempio, $a(x) = x^\alpha$ per $\alpha \in (0,1)$).

L'obiettivo principale è stabilire la controllabilità esatta locale a una traiettoria positiva. Nello specifico, data una traiettoria positiva $\tilde{u}$ che soddisfa l'equazione non controllata, gli autori cercano di determinare se, per dati iniziali sufficientemente vicini allo stato iniziale della traiettoria, esista una funzione di controllo $h$ supportata in un insieme aperto arbitrariamente piccolo $\hat{\omega} \times (0, T)$ tale che lo stato controllato $u$ raggiunga lo stato della traiettoria $\tilde{u}$ al tempo $T$.

Metodologia
Gli autori adottano una strategia multi-step che combina trasformazioni geometriche, linearizzazione e analisi funzionale:

1. Trasformazione del Dominio: Per gestire il bordo mobile, gli autori costruiscono un diffeomorfismo $\tau_t$ che mappa il dominio non cilindrico $\hat{Q}$ su un dominio cilindrico fisso $Q = (0, 1) \times (0, T)$. Questa trasformazione riscalala variabile spaziale, convertendo il problema originale in un'equazione parabolica con coefficienti dipendenti dal tempo e termini di ordine inferiore aggiuntivi su un dominio fisso.
2. Linearizzazione e Analisi Aggiunta: La controllabilità del sistema non lineare è affrontata mediante la linearizzazione del sistema trasformato attorno allo stato nullo (dopo aver traslato per la traiettoria target). Gli autori analizzano il sistema linearizzato associato, che include un termine di diffusione degenere e un termine di controllo bilineare.
3. Stime di Carleman: Un componente critico della dimostrazione è la derivazione di stime globali di Carleman per il sistema aggiunto linearizzato. Queste stime utilizzano funzioni di peso specifiche che dipendono dal tempo e dallo spazio, progettate per gestire la degenerazione in $x=0$ e la dipendenza temporale del dominio. Queste stime conducono a una disuguaglianza di osservabilità.
4. Controllabilità a Nullo del Sistema Lineare: Utilizzando la disuguaglianza di osservabilità e il Metodo di Unicità di Hilbert (HUM) adattato agli spazi pesati, gli autori dimostrano la controllabilità a nullo globale del sistema linearizzato. Stabiliscono l'esistenza di un controllo che porta la soluzione a zero al tempo $T$, insieme a stime di regolarità specifiche per il controllo e lo stato.
5. Teorema della Funzione Inversa: Infine, gli autori applicano il Teorema della Funzione Inversa di Liusternik negli spazi di Banach. Verificando che l'applicazione definita dal sistema non lineare sia $C^1$ e che la sua linearizzazione nell'origine sia suriettiva (basandosi sui risultati di controllabilità lineare), deducono la controllabilità esatta locale del sistema non lineare originale alla traiettoria positiva.

Contributi e Risultati Chiave

• Teorema Principale: L'articolo dimostra che il sistema parabolico degenere non lineare (1) è localmente esattamente controllabile a qualsiasi traiettoria positiva $\tilde{u}$ in qualsiasi tempo $T > 0$, purché i dati iniziali siano sufficientemente vicini ai dati iniziali della traiettoria nella norma $H^1_a$.
• Gestione dei Domini in Movimento: Il lavoro estende i risultati di controllabilità dai domini fissi ai domini non cilindrici e in movimento per equazioni degenerate, un contesto che introduce complessità significative a causa della geometria variabile nel tempo e della degenerazione del coefficiente di diffusione.
• Meccanismo di Controllo Bilineare: Lo studio si concentra su controlli bilineari (controlli moltiplicativi) che agiscono sul termine di reazione, i quali modulano i tassi di crescita o decadimento proporzionalmente allo stato. Questo è distinto dai controlli additivi ed è dimostrato essere efficace per il tracciamento di traiettorie in questo contesto.
• Stime di Regolarità: Gli autori derivano stime pesate dettagliate per il controllo e lo stato del sistema linearizzato, assicurando che il controllo possieda sufficiente regolarità (specificamente negli spazi pesati $L^2$ e $H^1$) per gestire i termini non lineari nell'argomento del punto fisso.

Significato e Affermazioni
Gli autori collocano questo lavoro come un contributo alla teoria del controllo per equazioni alle derivate parziali (PDE) degenerate in geometrie non standard. Osservano che, mentre la controllabilità per equazioni non degenerate e per equazioni degenerate su domini fissi è ben sviluppata, la combinazione di degenerazione, non linearità e bordi mobili presenta una sfida più complessa che richiede tecniche specifiche.

L'articolo afferma di fornire i primi risultati sulla controllabilità bilineare di tali sistemi degeneri in domini in movimento. Il significato risiede nel dimostrare che il sistema può essere guidato verso una traiettoria positiva desiderata, il che corrisponde alla regolazione di sistemi dinamici complessi (come quelli nelle transizioni di fase o nella dinamica delle popolazioni) sotto vincoli realistici in cui la diffusione svanisce ai bordi e il dominio evolve. Gli autori dichiarano esplicitamente che i loro risultati sono locali (richiedendo piccole deviazioni iniziali) e si basano sul Teorema della Funzione Inversa di Liusternik, un approccio standard ma rigoroso per stabilire la controllabilità locale in sistemi infinito-dimensionali.

L'articolo conclude suggerendo potenziali estensioni a sistemi con non linearità non locali e problemi di tipo Stefan a una fase, indicando che le tecniche sviluppate qui potrebbero servire come fondamento per questi scenari più complessi.