Gradient higher integrability for degenerate parabolic double phase systems with two modulating coefficients

1. Enunciato del Problema

Il lavoro indaga la regolarità delle soluzioni deboli a sistemi dopofase parabolici degeneri che coinvolgono due coefficienti modulanti. Il sistema è dato da:
$$u_t - \text{div} \left( a(z)|Du|^{p-2}Du + b(z)|Du|^{q-2}Du \right) = -\text{div} \left( a(z)|F|^{p-2}F + b(z)|F|^{q-2}F \right)$$
in un cilindro spazio-temporale $\Omega_T = \Omega \times (0, T)$, dove:

• $2 \le p \le q < \infty$.
• $a(z)$ e $b(z)$ sono coefficienti modulanti non negativi.
• Ipotesi Chiave:
  • $a(z)$ è uniformemente continua.
  • $b(z)$ è Hölderiana ($C^{\alpha, \alpha/2}$).
  • La somma dei coefficienti è limitata inferiormente: $a(z) + b(z) \ge \delta > 0$ (prevenendo la vanishing simultanea).
  • Gli esponenti soddisfano la condizione di crescita standard per problemi dopofase: $q \le p + \frac{2\alpha}{n+2}$.

L'obiettivo principale è stabilire l'integrabilità superiore locale del gradiente spaziale $Du$. Nello specifico, gli autori mirano a dimostrare che se il termine sorgente $F$ e il gradiente $Du$ possiedono un'integrabilità legata alla densità di energia $H(z, \xi) = a(z)|\xi|^p + b(z)|\xi|^q$, allora $Du$ possiede effettivamente un'integrabilità superiore (cioè $H(z, |Du|) \in L^{1+\varepsilon}_{loc}$).

2. Metodologia

Gli autori impiegano un approccio sofisticato di geometria intrinseca combinato con una strategia di separazione delle fasi. Questo rappresenta una significativa deviazione dai lavori precedenti su sistemi con un solo coefficiente modulante.

A. Geometria Intrinseca

Il sistema esibisce comportamenti di crescita diversi a seconda della magnitudine relativa dei coefficienti $a(z)$ e $b(z)$. Per gestire ciò, gli autori definiscono tre tipi di cilindri intrinseci scalati da un parametro $\lambda \ge 1$:

1. Cilindri $p$-intrinseci ($Q_{\rho, \lambda}$): Dove il termine di crescita $p$ domina ($a(z)\lambda^p \gtrsim b(z)\lambda^q$). La scalatura temporale è $\sim \lambda^{2-p}$.
2. Cilindri $q$-intrinseci ($J_{\rho, \lambda}$): Dove il termine di crescita $q$ domina ($b(z)\lambda^q \gtrsim a(z)\lambda^p$). La scalatura temporale è $\sim \lambda^{2-q}$.
3. Cilindri $(p, q)$-intrinseci ($G_{\rho, \lambda}$): Dove entrambi i termini sono comparabili. La scalatura temporale è determinata dalla somma $\Lambda = a(z)\lambda^p + b(z)\lambda^q$.

B. Separazione delle Fasi e Schema di Confronto

La novità centrale risiede nel delicato schema di confronto utilizzato per separare le fasi. A differenza dei precedenti studi ellittici o parabolici a singolo coefficiente, la presenza di due coefficienti e la natura parabolica creano nove casi distinti basati sulla grandezza di $a(z)$ e $b(z)$ all'interno dei cilindri intrinseci:

• Fase $p$: $a(z)$ è grande, $b(z)$ è piccola.
• Fase $q$: $b(z)$ è grande, $a(z)$ è piccola.
• Fase $(p, q)$: Entrambi i coefficienti sono significativi.

Gli autori devono gestire con cura la transizione tra queste fasi, assicurandosi che i parametri di scalatura intrinseca ($\lambda$) e i raggi dei cilindri siano scelti coerentemente per soddisfare le necessarie disuguaglianze di Hölder inverse.

C. Passaggi Tecnici Chiave

1. Stime Energetiche: Derivazione di disuguaglianze di tipo Caccioppoli adattate alla struttura dopofase.
2. Disuguaglianze di Hölder Inverse: Dimostrazione di queste disuguaglianze separatamente per ciascuna delle tre fasi ($p$, $q$ e mista). Ciò comporta stime intricate che utilizzano la continuità di $a(z)$ e la continuità Hölderiana di $b(z)$ per controllare i "termini incrociati" dove un coefficiente è piccolo ma non nullo.
3. Argomento del Tempo di Arresto: Viene utilizzato un argomento raffinato per selezionare il raggio intrinseco appropriato per qualsiasi punto nell'insieme di superlivello del gradiente. Questo garantisce che il punto cada in una delle tre fasi definite.
4. Lemma di Copertura di Vitali: Viene costruito un lemma di copertura generalizzato per gestire le nove possibili combinazioni di cilindri intrinseci (ad esempio, un cilindro $p$ che copre un cilindro $q$, ecc.). Gli autori dimostrano che i fattori di scalatura $\lambda$ sono comparabili attraverso cilindri intersecanti, permettendo un argomento di copertura unificato.
5. Lemma di Gehring: Il passo finale combina le disuguaglianze di Hölder inverse con il lemma di copertura e il teorema di Fubini per innalzare l'integrabilità da $L^1$ a $L^{1+\varepsilon}$.

3. Contributi Chiave

• Primo Risultato Parabolico per Due Coefficienti: Questo è il primo risultato di regolarità per sistemi dopofase parabolici con due coefficienti modulanti. I risultati precedenti erano limitati al caso ellittico o a casi parabolici con un solo coefficiente (ad esempio, $a(z) \equiv 1$).
• Geometria Intrinseca Unificata: Il lavoro estende con successo il metodo della geometria intrinseca a un sistema in cui la fase dominante può alternarsi tra $p$ e $q$ (o essere mista) a seconda dei valori locali di due coefficienti distinti.
• Gestione della Continuità Uniforme: Gli autori rilassano il requisito di regolarità su $a(z)$ alla continuità uniforme (piuttosto che alla continuità Hölderiana), che è un'ipotesi più generale e tecnicamente impegnativa nel contesto dei problemi dopofase.
• Analisi a Nove Casi: Il trattamento rigoroso dei nove casi geometrici distinti che emergono dall'interazione dei due coefficienti e delle tre fasi intrinseche rappresenta un significativo avanzamento tecnico rispetto alla letteratura esistente.

4. Risultati Principali

Il teorema principale (Teorema 1.1) stabilisce l'integrabilità superiore locale del gradiente. Nello specifico, per una soluzione debole $u$, esistono costanti $\varepsilon_0 > 0$ e $c \ge 1$ tali che per qualsiasi cilindro $Q_{2r}(z_0) \subset \Omega_T$:

$$\iint_{Q_r(z_0)} H_1(z, |Du|)^{1+\varepsilon} \, dz \le c \left( \iint_{Q_{2r}(z_0)} H_1(z, |Du|) \, dz \right)^{1 + \frac{\varepsilon q}{2}} + c \left( \iint_{Q_{2r}(z_0)} H_1(z, |F|)^{1+\varepsilon} \, dz \right)^{\frac{q}{2}}$$

dove $H_1(z, \kappa) = a(z)\kappa^p + b(z)\kappa^q + 1$ e $\varepsilon \in (0, \varepsilon_0)$.

Questo risultato implica che il gradiente $Du$ appartiene a uno spazio di Lebesgue superiore rispetto a quanto inizialmente assunto, il quale è un passo cruciale verso la dimostrazione di ulteriori proprietà di regolarità come la continuità Hölderiana o le stime di Calderón-Zygmund.

5. Significato

• Modellazione di Materiali Anisotropi: I sistemi dopofase modellano materiali con proprietà fortemente anisotrope (ad esempio, compositi con diversi comportamenti di indurimento). L'inclusione di due coefficienti modulanti fornisce un quadro più realistico per tali materiali rispetto ai modelli a singolo coefficiente.
• Fondamento Teorico: Stabilendo l'integrabilità superiore, questo lavoro getta le basi necessarie per future ricerche sulla regolarità parziale (continuità Hölderiana) e sulle stime di Calderón-Zygmund per sistemi dopofase parabolici con due coefficienti.
• Avanzamento Metodologico: Le tecniche sviluppate, in particolare la gestione della fase "mista" e la copertura di Vitali a nove casi, forniscono un toolkit robusto per analizzare altri sistemi parabolici degeneri con condizioni di crescita non standard.

In sintesi, questo lavoro risolve un importante problema aperto nella teoria della regolarità delle EDP paraboliche adattando con successo i metodi di scalatura intrinseca all'ambiente complesso e multifase creato da due coefficienti modulanti.