Existence of variational solutions to doubly nonlinear systems in nondecreasing domains

Sintesi Tecnica: Esistenza di Soluzioni Variazionali per Sistemi Doppiamente Nonlineari in Domini Non Decrescenti

Enunciato del Problema
Il saggio affronta il problema Cauchy–Dirichlet per sistemi parabolici doppiamente nonlineari della forma:
$$\partial_t (|u|^{q-1}u) - \text{div}(D_\xi f(x, u, Du)) = -D_u f(x, u, Du)$$
definiti in un dominio non cilindrico limitato $E \subset \mathbb{R}^{n+1}$ (dove $n \ge 2$). Il dominio $E$ è assunto essere non decrescente rispetto al tempo, il che significa che le sezioni temporali $E_t$ soddisfano $E_s \subset E_t$ per $0 \le s \le t < T$. I parametri soddisfano $q \in (0, \infty)$ e $p \in (1, \infty)$.

L'integrando $f(x, u, \xi)$ è assunto essere:

1. Integrabile in $x$ per fissi $(u, \xi)$.
2. Convesso in $(u, \xi)$.
3. Soddisfa una condizione di $p$-coercività: $\nu|\xi|^p \le f(x, u, \xi)$.
   Fondamentalmente, gli autori non impongono una specifica condizione di crescita superiore per il risultato principale di esistenza, permettendo una crescita esponenziale o non standard.

Metodologia
La prova dell'esistenza si basa su una versione non lineare del metodo dei movimenti minimizzanti (conosciuto anche come schema di Eulero implicito o movimenti minimizzanti di De Giorgi). L'approccio combina tecniche da lavori precedenti su equazioni doppiamente nonlineari in domini cilindrici (Böglein et al. [17]) e sistemi parabolici in domini non cilindrici (Böglein et al. [19]).

La procedura prevede:

1. Discretizzazione Temporale: L'intervallo temporale $(0, T)$ viene diviso in passi di dimensione $h_\ell = T/\ell$.
2. Minimizzazione Iterativa: Ad ogni passo temporale, viene costruita una sequenza di funzioni $u_{\ell, i}$ minimizzando un funzionale variazionale ellittico:
   $$F_\ell[w; u_{\ell, i-1}] = \int_\Omega f(x, w, Dw) \, dx + \frac{1}{h_\ell} \int_\Omega b[u_{\ell, i-1}, w] \, dx$$
   dove $b[u, v]$ è un termine di frontiera specifico correlato alla convessità della funzione potenza $|v|^{q+1}$.
3. Stime di Energia e Convergenza: Gli autori derivano stime di energia uniformi per le interpolazioni a tratti costanti $u_\ell$. Utilizzando argomenti di compattezza (specificamente il Lemma 3.11 riguardante la convergenza di $|u_\ell|^{(q+1)/2}$), stabiliscono l'esistenza di una mappa limite $u$.
4. Gestione dei Domini Non Cilindrici: Un aspetto tecnico chiave è la gestione del dominio variabile nel tempo. La natura non decrescente di $E$ permette agli autori di estendere le mappe di confronto e di utilizzare l'assunzione $L^{n+1}(\partial E) = 0$ per garantire che la mappa limite soddisfi le corrette condizioni al contorno laterali.
5. Disuguaglianza Variazionale: La mappa limite è mostrata soddisfare una disuguaglianza variazionale, che funge da definizione di soluzione variazionale in questo contesto.

Contributi Chiave e Risultati

1. Esistenza in Domini Non Decrescenti (Teorema 2.3):
   Il saggio dimostra l'esistenza di una soluzione variazionale $u \in C^0([0, T]; L^{q+1}(\Omega, \mathbb{R}^N)) \cap V^p_q(E)$.

   • Generalità: A differenza dei risultati precedenti limitati a domini cilindrici o soluzioni non negative, questo risultato si applica a soluzioni generali in domini non cilindrici che sono non decrescenti nel tempo e permette soluzioni con segno o vettoriali.
   • Assunzioni Deboli su $f$: La prova di esistenza è valida senza una condizione di crescita superiore su $f$, basandosi solo su convessità e coercività.
   • Regolarità: La soluzione possiede una derivata temporale debole per il termine $|u|^{q-1}u$ in uno spazio duale specifico, e la soluzione è continua nel tempo rispetto alla norma $L^{q+1}$.

2. Esistenza della Derivata Temporale nello Spazio Duale (Teorema 2.5):
   Sotto assunzioni aggiuntive — specificamente che il dominio soddisfi una condizione di densità di misura (legata al fatto che il complemento sia uniformemente $p$-grassoccio) e che $f$ soddisfi una standard condizione di crescita $p$ — gli autori dimostrano che il termine $|u|^{q-1}u$ ammette una derivata temporale distributiva nello spazio duale $(V^{p,0}(E))'$.

3. Continuità nel Tempo:
   Gli autori stabiliscono che ogni soluzione variazionale è continua nel tempo con valori in $L^{q+1}(\Omega, \mathbb{R}^N)$. Ciò viene ottenuto testando la disuguaglianza variazionale con una molatura temporale della soluzione, una tecnica adattata all'ambiente non cilindrico.

Significato e Rivendicazioni
Il saggio si posiziona come una generalizzazione delle teorie esistenti per equazioni doppiamente nonlineari.

• Estensione dell'Ambito: Estende la teoria dell'esistenza da domini cilindrici a domini non cilindrici (specificamente non decrescenti), affrontando una lacuna nella letteratura dove tali variazioni geometriche non erano state trattate completamente per i sistemi doppiamente nonlineari.
• Condizioni di Crescita Rilassate: Rimuovendo la condizione di crescita superiore sull'integrando $f$ per il risultato di esistenza, gli autori permettono una classe più ampia di non linearità, incluse quelle con crescita esponenziale, che precedentemente venivano gestite solo sotto vincoli più stretti o in contesti specifici.
• Sintesi Metodologica: Il lavoro sintetizza con successo l'approccio dei "movimenti minimizzanti" per equazioni doppiamente nonlineari con la gestione geometrica di domini dipendenti dal tempo.
• Unicità: Gli autori notano esplicitamente che l'unicità non è stabilita in questo lavoro. Citano che l'unicità per tali sistemi è una questione delicata, particolarmente in domini non cilindrici, e rimane una questione aperta per il caso generale qui considerato, sebbene sia nota per casi specifici come l'equazione del mezzo poroso con soluzioni non negative.

Il saggio conclude che i metodi sviluppati possono potenzialmente essere adattati per valori al contorno dipendenti dal tempo, sebbene il presente lavoro si concentri su valori al contorno laterali indipendenti dal tempo per stabilire la teoria fondamentale di esistenza.