Decay of solutions and bilinear control to trajectories of a 1D degenerate parabolic system

Sintesi Tecnica: Decadimento delle Soluzioni e Controllo Bilineare alle Traiettorie di un Sistema Parabolico Degenero 1D

Enunciato del Problema
Questo articolo investiga le proprietà di controllabilità di una classe di sistemi parabolici non lineari monodimensionali caratterizzati da coefficienti di diffusione debolmente degeneri. Il sistema, indicato con (1), consiste in due equazioni accoppiate per le variabili di stato $y$ e $z$ definite sul dominio $(0, 1) \times (0, T)$. Il termine di diffusione coinvolge un coefficiente $a(x)$ che degenera al bordo $x=0$ (specificamente $a(0)=0$), modellando mezzi eterogenei in cui i meccanismi di trasporto si indeboliscono vicino a regioni critiche. Il sistema è non autonomo, con coefficienti tempo-dipendenti $b(t)$ e termini di ordine inferiore $B_i(x,t)$.

Il meccanismo di controllo primario è bilineare, agendo attraverso il termine di reazione come $h(x,t)\omega(x)y$, dove $h$ è la funzione di controllo supportata su un sottoinsieme aperto non vuoto $\omega \subset (0, 1)$. A differenza dei controlli additivi, questa struttura bilineare modula i tassi di crescita o decadimento proporzionalmente allo stato corrente. L'articolo affronta due obiettivi principali:

1. Controllabilità Esatta Locale alle Traiettorie: Determinare se, per ogni stato iniziale vicino a una traiettoria di riferimento $(\bar{y}, \bar{z})$ (soluzione del sistema non controllato), esista un controllo $h$ che porti il sistema a coincidere con la traiettoria al tempo $T$.
2. Controllabilità Esatta Globale alle Traiettorie: Determinare se tale puntamento sia possibile per qualsiasi stato iniziale, a condizione che il tempo $T$ sia sufficientemente grande.

Metodologia
Gli autori impiegano una combinazione di tecniche di analisi funzionale, stime dell'energia e disuguaglianze di Carleman adattate all'ambiente degenero.

1. Riformulazione e Linearizzazione:
   Per studiare la controllabilità alle traiettorie $(\bar{y}, \bar{z})$, il problema viene riformulato introducendo le variabili di errore $w_1 = y - \bar{y}$ e $w_2 = z - \bar{z}$. Ciò trasforma il problema della controllabilità esatta in un problema di controllabilità nulla per il sistema di errore (6). Il sistema non lineare viene poi decomposto in una parte lineare e un residuo non lineare.

2. Decadimento delle Soluzioni (Strategia di Controllabilità Globale):
   Per ottenere la controllabilità globale, gli autori analizzano prima il sistema non controllato ($h \equiv 0$). Sotto specifiche assunzioni strutturali sui termini non lineari $F_i$ (specificamente una condizione di monotonicità), dimostrano che le soluzioni del sistema di errore esibiscono un decadimento esponenziale nel tempo. Questo decadimento assicura che lo stato del sistema entri in un piccolo intorno dell'origine dopo un tempo $\tilde{T}$ sufficientemente grande.

3. Inversione Locale tramite il Teorema di Liusternik:
   Il nucleo della prova di controllabilità locale risiede nel Teorema della Funzione Inversa di Liusternik negli spazi di Banach. Gli autori definiscono una mappatura $\mathcal{A}$ da uno spazio di stati e controlli ($V$) a uno spazio di residui e dati iniziali ($W$). Per applicare il teorema, devono verificare che:

   • $\mathcal{A}$ sia continuamente differenziabile ($C^1$).
   • La derivata di Fréchet $\mathcal{A}'(0)$ sia suriettiva (onto).

4. Controllabilità Nulla Lineare e Stime di Carleman:
   La suriettività dell'operatore linearizzato è stabilita provando la controllabilità nulla del sistema linearizzato associato (14). Ciò viene ottenuto tramite stime di Carleman (Proposizione 1), che forniscono stime di osservabilità per il sistema aggiunto. Queste stime permettono la costruzione di un controllo $h$ che conduce il sistema lineare a zero. Gli autori utilizzano spazi di energia pesati con funzioni di peso specifiche $\rho_j$ (dipendenti dal tempo e dallo spazio) per gestire la degenerazione e la natura bilineare del controllo.

5. Regolarità e Stime:
   La prova comporta la derivazione di dettagliate stime a priori per il sistema linearizzato e per la funzione di controllo. Nello specifico, il Corollario 3 stabilisce la regolarità del controllo $h$ negli spazi di Sobolev pesati, il che è cruciale per gestire il termine moltiplicativo $h \omega y$ nell'analisi non lineare.

Contributi Chiave e Risultati

• Teorema 1 (Controllabilità Esatta Locale): L'articolo stabilisce che il sistema degenero non lineare (1) è localmente esattamente controllabile a qualsiasi traiettoria $(\bar{y}, \bar{z})$ per ogni tempo $T > 0$. Ciò è valido per dati iniziali sufficientemente vicini alla traiettoria nella norma $H^1_a(0,1)$. La prova si basa sull'applicazione riuscita del teorema di Liusternik, subordinata alla risolvibilità del problema di controllabilità nulla lineare.
• Teorema 2 (Controllabilità Esatta Globale): Gli autori dimostrano che il sistema è globalmente esattamente controllabile alle traiettorie per qualsiasi dato iniziale, a condizione che l'orizzonte temporale $T$ sia sufficientemente grande. Questo risultato è una diretta conseguenza del decadimento esponenziale del sistema non controllato (Teorema 2 nella Sezione 1.A) combinato con il risultato di controllabilità locale. Il decadimento permette al sistema di entrare nel regime "locale" dove si applica il Teorema 1.
• Stime di Decadimento: Un contributo tecnico significativo è la dimostrazione del decadimento esponenziale per le soluzioni del sistema degenero non lineare senza controllo (Teorema 2), sotto l'assunzione di una specifica condizione di segno sulle non linearità.
• Estensione del Lavoro Precedente: I risultati migliorano gli studi precedenti (specificamente [28]) incorporando controlli bilineari (moltiplicativi) invece di semplici controlli additivi e includendo termini semilineari $F_i(x,t,y,z)$. L'articolo affronta inoltre le sfide specifiche dei coefficienti non autonomi e della debole degenerazione.

Significato e Rivendicazioni
L'articolo sostiene di fornire un quadro rigoroso per il controllo di sistemi parabolici degeneri dove la diffusione svanisce al bordo e il controllo agisce moltiplicativamente sullo stato. Gli autori posizionano il loro lavoro come un avanzamento nel controllo di sistemi accoppiati non autonomi e degeneri, che modellano fenomeni del mondo reale come processi termici in materiali non omogenei, sedimentazione e diffusione in mezzi anisotropi.

La significatività risiede nella combinazione di:

1. Controllo Bilineare: Affrontare il meccanismo realistico in cui il controllo modula i tassi di reazione (ad esempio, catalizzatori nelle reazioni chimiche o tassi di riproduzione in ecologia) piuttosto che semplicemente aggiungere un termine sorgente.
2. Gestione della Degenerazione: Adattare con successo le stime di Carleman e gli strumenti di analisi funzionale al contesto debolmente degenero ($a(x) \sim x^\alpha$).
3. Risultati Globali: Colmare il divario tra controllabilità locale (valida per piccoli dati) e controllabilità globale (valida per dati arbitrari) attraverso l'analisi del decadimento della soluzione.

Gli autori osservano che questi risultati possono essere estesi a sistemi con termini non locali (ad esempio, dipendenza da $\int y$) e problemi a frontiera libera (problemi di tipo Stefan), sebbene tali estensioni siano riservate a lavori futuri. Lo studio è supportato dalle assunzioni standard sulla regolarità e limitatezza dei coefficienti e sulla non degenerazione della regione di controllo $\omega$.