Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data

Sintesi Tecnica: Stime Globali di Calderón-Zygmund per Problemi di Evoluzione a Doppia Fase Irregolare con Dati in Forma Non Divergente

Formulazione del Problema
Questo lavoro investiga l'esistenza e la regolarità globale di soluzioni forti per una classe di equazioni paraboliche a doppia fase irregolari con dati in forma non divergente. Il problema è definito su un dominio limitato $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) su un intervallo temporale $(0, T)$, denotato come $Q_T = \Omega \times (0, T)$:

$$\begin{cases} u_t - \text{div} \left( F(z, \nabla u) \nabla u \right) = f(z), & z = (x, t) \in Q_T, \\ u = 0, & \text{su } \partial\Omega \times (0, T), \\ u(x, 0) = u_0(x), & \text{in } \Omega, \end{cases}$$

dove la funzione di flusso è data da $F(z, \xi) = a(z)|\xi|^{p(z)-2} + b(z)|\xi|^{q(z)-2}$. Gli esponenti $p(z)$ e $q(z)$ sono variabili e Lipschitz continui, mentre i coefficienti modulanti non negativi $a(z)$ e $b(z)$ soddisfano la condizione $a(z) + b(z) > 0$. Il problema è caratterizzato da una struttura di crescita eterogenea: nelle regioni in cui entrambi i coefficienti sono positivi, il flusso presenta una crescita mista governata da entrambi gli esponenti, mentre nelle regioni in cui uno di essi si annulla, il problema si riduce a un modello a singola fase. I dati $f$ sono assunti in $L^\sigma(Q_T)$ con $\sigma > 2$, rappresentando una forza in forma non divergente.

Metodologia
Gli autori impiegano un approccio di regolarizzazione combinato con stime di alta integrabilità globale e analisi della regolarità del secondo ordine. La metodologia procede attraverso diverse fasi:

1. Regolarizzazione: Il problema originale viene approssimato da una famiglia di problemi regolarizzati con dati regolari e un flusso regolarizzato $F_\epsilon(z, \nabla u)$, dove la singolarità in $\nabla u = 0$ viene gestita introducendo un parametro $\epsilon \in (0, 1)$. Si stabiliscono le soluzioni classiche per questi problemi regolarizzati.
2. Stime A Priori: Il nucleo dell'analisi consiste nel derivare stime uniformi indipendenti dal parametro di regolarizzazione $\epsilon$. Ciò viene ottenuto:
   • Moltiplicando l'equazione regolarizzata per funzioni di test specifiche che coinvolgono la derivata temporale e le derivate spaziali del secondo ordine.
   • Utilizzando la formula di Green per gestire gli integrali di bordo, che vengono stimati utilizzando la geometria del dominio e la regolarità dei coefficienti.
   • Stabilendo disuguaglianze di interpolazione e stime puntuali per la matrice Hessiana della soluzione.
   • Applicando le disuguaglianze di Hölder e Young per gestire gli esponenti variabili e il termine non divergente $f$.
3. Gestione dei Dati Non Divergenti: Una sfida tecnica significativa affrontata è la presenza di dati non divergenti ($f$ non in forma divergente). A differenza del caso ellittico, le equazioni paraboliche non permettono la riduzione alla forma divergente tramite la regolarità di tipo Bogovskiĭ. Gli autori sviluppano stime specifiche per trasferire direttamente l'integrabilità di $f$ ai termini del gradiente e del flusso.
4. Passaggio al Limite: Utilizzando le stime uniformi, argomenti di compattezza (inclusi il teorema di convergenza di Vitali e le proprietà degli spazi di Musielak-Orlicz-Sobolev) e la convergenza puntuale dei gradienti, gli autori passano al limite per $\epsilon \to 0$ e per le sequenze di dati approssimanti che convergono ai dati originali.

Contributi Chiave e Risultati
Il lavoro estende i risultati precedenti sui problemi a doppia fase (specificamente quelli in [1]) all'intero intervallo di parametri di integrabilità $r \ge 0$ e rafforza le conclusioni sulla regolarità. I risultati principali sono così riassunti:

• Esistenza e Unicità: Sotto adeguate condizioni di gap sugli esponenti variabili $p(z)$ e $q(z)$ e ipotesi di regolarità sui coefficienti $a(z)$ e $b(z)$, il problema ammette una soluzione forte unica $u$.
• Trasferimento Globale dell'Integrabilità (Teoria di Calderón-Zygmund): La soluzione eredita l'integrabilità dei dati iniziali e del termine di forzante. Nello specifico, se i dati iniziali soddisfano una condizione di integrabilità pesata coinvolgente $r$, e se $f \in L^\sigma(Q_T)$, allora il flusso a doppia fase mantiene questa integrabilità globalmente nel tempo.
• Alta Integrabilità del Gradiente: Il gradiente della soluzione esibisce proprietà di auto-miglioramento. Per ogni $s \in (0, \frac{4}{N+2})$, il gradiente soddisfa:
  $$|\nabla u|^{2(\min\{p(z), q(z)\}-1)+r+s} \in L^1(Q_T).$$
  Ciò indica che il gradiente possiede un'alta integrabilità superiore rispetto a quanto suggerito dallo spazio energetico naturale.
• Regolarità del Secondo Ordine: La soluzione possiede una regolarità spaziale del secondo ordine potenziata. Gli autori dimostrano che:
  $$F((\cdot, t), \nabla u(\cdot, t))|\nabla u(\cdot, t)|^{r+2} \in L^1(\Omega) \quad \text{per quasi ogni } t \in (0, T),$$
  e
  $$F(z, \nabla u)|\nabla u|^{\frac{r+2}{2}} \in L^2(0, T; W^{1,2}(\Omega)).$$
  Ciò implica che il flusso pesato appartiene a uno spazio di Sobolev rispetto alle variabili spaziali.

Significato e Ambito
Il lavoro sostiene di affrontare una lacuna nella letteratura riguardante le equazioni paraboliche a doppia fase con dati non divergenti. Mentre le stime di tipo Calderón-Zygmund per tali equazioni con dati in forma divergente o nel contesto ellittico sono stabilite (citando lavori come Kim, Acerbi, Mingione, ecc.), risultati analoghi per il caso non divergente con esponenti variabili erano precedentemente non disponibili.

La significatività del lavoro risiede nel:

1. Generalizzazione: Estendere l'intervallo del parametro di integrabilità $r$ da $r \ge \max\{2, p_+, q_+\}$ (come nei lavori precedenti) all'intero intervallo $r \ge 0$.
2. Dati Non Divergenti: Gestire con successo la forma non divergente del termine sorgente $f$, che richiede tecniche distinte rispetto al caso divergente.
3. Coefficienti Irregolari: Accogliere coefficienti modulanti $a(z)$ e $b(z)$ che non sono necessariamente regolari ma soddisfano specifiche condizioni di integrabilità $L^d$ sulle loro derivate, a seconda del parametro di gap $\beta$ tra gli esponenti.

I risultati sono presentati come miglioramenti e complementi alla teoria esistente, fornendo un quadro robusto per la regolarità delle soluzioni di problemi evolutivi eterogenei a esponente variabile, derivanti dall'elasticità non lineare e campi correlati. Gli autori non propongono nuove applicazioni sperimentali, ma forniscono le fondamenta teoriche (esistenza e stime di regolarità) necessarie per l'analisi di tali modelli.