Riepilogo Tecnico: Sistemi Non Autonomi di Inclusioni di Evoluzione

1. Enunciato del Problema

Il documento investiga l'esistenza di soluzioni globali per sistemi accoppiati di inclusioni di evoluzione parzialmente non autonome. Il sistema è formulato in uno spazio di Hilbert reale separabile $H$ (o in un prodotto di tali spazi) e assume la forma:

$$\begin{cases} \frac{d}{dt}u + Eu \in F(u, v) & \text{su } (0, T), \\ \frac{d}{dt}v + A(\cdot)v \in G(u, v) & \text{su } (0, T), \\ (u(0), v(0)) = (u_0, v_0) & \text{in } H \times H, \end{cases}$$

dove:

• $-E$ è il generatore di un semigruppo $C_0$ con risolvente compatta su $H$.
• $A(t)$ è un operatore massimamente monotono, univaluato (a valore singolo), di tipo sottomissivo dipendente dal tempo, ovvero $A(t) = \partial \phi_t$, dove $\phi_t$ è un potenziale reale che soddisfa specifiche condizioni di regolarità (basate sui risultati di Yotsutani).
• $F$ e $G$ sono applicazioni multivalore (a valori insiemistici) che rappresentano i termini di accoppiamento. Si assume che tali applicazioni siano continue secondo Hausdorff, debolmente continue a metà (rispetto alla prima variabile) e assumano valori non vuoti, limitati, chiusi e convessi (bcc). Possono inoltre soddisfare un limite di crescita lineare.

Il sistema è motivato da applicazioni nei fluidi elettroreologici, nell'elaborazione delle immagini, nella magnetostatica e nei fenomeni di capillarità, estendendo specificamente lavori precedenti sui sistemi autonomi di Schrödinger–Debye al caso non autonomo con spazi di Sobolev a esponente variabile.

2. Metodologia

Gli autori impiegano una combinazione di teoria dei semigruppi, teoria degli operatori monotoni e analisi a valori insiemistici. La metodologia affronta la mancanza di regolarità massima nella parte del semigruppo (comune nelle equazioni di tipo Schrödinger) imponendo condizioni di continuità più forti sui termini a valori insiemistici.

I passaggi metodologici chiave includono:

1. Decoppiamento e Risolvibilità dei Problemi a Valore Singolo:

   • Gli autori stabiliscono innanzitutto la risolvibilità per i singoli componenti: il problema di Cauchy astratto guidato dal generatore del semigruppo $-E$ e il problema di evoluzione monotono guidato da $A(t)$.
   • Per la parte del semigruppo, utilizzano spazi di estrazione ($H^{-1}(E)$) e approssimazioni di Yosida per gestire la mancanza di regolarità massima, dimostrando che le soluzioni convergono uniformemente sotto ipotesi di risolvente compatta.
   • Per la parte monotona, si basano su risultati esistenti (Yotsutani) per soluzioni forti di equazioni di evoluzione con sottomissivi dipendenti dal tempo.

2. Teoria della Selezione e Approssimazione:

   • Una sfida tecnica centrale è la gestione dei termini di destra multivalore $F$ e $G$. Gli autori dimostrano un nuovo risultato di esistenza per selezioni misurabili (Teorema 3.3.1).
   • Tale teorema stabilisce che se una successione di funzioni $u_n$ converge uniformemente a $u$, e $F$ è continua secondo Hausdorff e bcc, allora per ogni selezione $f \in \text{Sel}_F(u)$, esistono selezioni $f_n \in \text{Sel}_F(u_n)$ che convergono a $f$ nella norma $L^2$. Questo risultato è cruciale per costruire soluzioni approssimanti nell'argomento del punto fisso.

3. Argomento del Punto Fisso:

   • L'esistenza delle soluzioni è dimostrata utilizzando un teorema del punto fisso multivalore (Teorema 5.1.1) di Vrabie et al.
   • Gli autori definiscono una mappa soluzione $\Phi$ su un insieme limitato di funzioni $L^2$. Verificano che $\Phi$ sia ben definita, abbia valori bcc e possieda un grafico debolmente $\times$ debolmente sequenzialmente chiuso.
   • La dimostrazione della proprietà del grafico chiuso si basa pesantemente sulla convergenza uniforme delle soluzioni ai problemi decoppiati (stabilita nella Sezione 4) e sull'approssimazione delle selezioni (Teorema 3.3.1).

4. Esistenza Globale:

   • Viene prima stabilita l'esistenza locale. L'esistenza globale è quindi dedotta assumendo un limite di crescita lineare su $F$ e $G$ e applicando la disuguaglianza di Grönwall per prevenire l'esplosione in tempo finito.

3. Contributi Chiave

• Estensione ai Sistemi Non Autonomi: Il documento generalizza risultati precedenti su sistemi autonomi (in particolare quelli in [30]) al caso non autonomo, dove l'operatore $A(t)$ dipende dal tempo e può essere definito su spazi di Sobolev a esponente variabile.
• Gestione della Mancanza di Regolarità Massima: Gli autori affrontano la specifica difficoltà secondo cui gli operatori di tipo Schrödinger non possiedono regolarità massima. Invece di affidarsi alla regolarità massima (che fallisce per questi operatori), rafforzano i requisiti di continuità sui termini a valori insiemistici (richiedendo la continuità secondo Hausdorff invece della sola semicontinuità superiore) e utilizzano approssimazioni di Yosida per recuperare le proprietà di convergenza necessarie.
• Nuovo Teorema di Approssimazione delle Selezione: Il Teorema 3.3.1 fornisce uno strumento tecnico innovativo per approssimare selezioni misurabili in spazi di Hilbert infinito-dimensionali sotto continuità secondo Hausdorff, colmando una lacuna nella letteratura riguardo alla stabilità delle selezioni sotto convergenza uniforme degli argomenti.
• Correzione di Enunciati Precedenti: Gli autori notano di correggere certi enunciati in [30] riguardanti la regolarità massima delle soluzioni dell'equazione di Schrödinger, chiarificando che tale regolarità non vale generalmente e adeguando di conseguenza la strategia di dimostrazione.

4. Risultati Principali

• Esistenza Locale (Teorema 5.2.2): Sotto le ipotesi di continuità secondo Hausdorff, continuità debole a metà e valori bcc per $F$ e $G$, e assumendo che $-E$ abbia una risolvente compatta, il sistema ammette almeno una soluzione forte locale su un intervallo di tempo $[0, T_0]$.
• Esistenza Globale (Teorema 5.3.2): Se le applicazioni multivalore $F$ e $G$ soddisfano inoltre un limite di crescita lineare, la soluzione locale può essere estesa a una soluzione globale definita su $[0, T_m]$ (dove $T_m$ può essere $\infty$).
• Convergenza Uniforme (Teorema 4.1.4 & Proposizione 4.2.1): Il documento stabilisce che le successioni di soluzioni ai problemi decoppiati convergono uniformemente (nella topologia appropriata) quando i termini di destra convergono debolmente, prerequisito per l'argomento del punto fisso.

5. Significato e Ambito

Il documento rivendica significato principalmente nel suo contributo metodologico alla teoria delle inclusioni di evoluzione accoppiate. Estendendo l'approccio di Vrabie et al. all'ambito non autonomo e sviluppando nuovi strumenti per l'approssimazione delle selezioni, gli autori forniscono un quadro per analizzare sistemi in cui:

• Un componente è governato da un operatore non parabolico (come l'operatore di Schrödinger) privo di regolarità massima.
• L'altro componente è un operatore monotono dipendente dal tempo (potenzialmente con esponenti variabili).
• L'accoppiamento è multivalore, modellando incertezze o discontinuità.

Gli autori dichiarano esplicitamente che i loro risultati coprono sistemi generalizzati di Schrödinger–Debye non autonomi con esponenti variabili, nonché sistemi iperbolico-parabolici come i sistemi Maxwell–parabolici. Il documento non propone nuove applicazioni sperimentali, ma fornisce piuttosto la fondazione analitica rigorosa per modelli esistenti nei fluidi elettroreologici, nell'elaborazione delle immagini e nell'elettromagnetismo. I risultati sono presentati come un'estensione teorica e una correzione di lavori precedenti, garantendo il corretto posizionamento (well-posedness) in condizioni che tengono conto delle specifiche limitazioni di regolarità degli operatori coinvolti.