Higher integrability for parabolic double phase equations with an improved gap bound

Sintesi Tecnica: Integrazione Superiore per Equazioni Paraboliche a Doppia Fase con un Miglioramento del Limite di Gap

Problema
Il documento investiga l'integrazione superiore locale del gradiente per le soluzioni deboli di Hölder continue per l'equazione parabolica a doppia fase:
$$\partial_t u - \text{div}\left(|Du|^{p-2}Du + a(z)|Du|^{q-2}Du\right) = 0$$
in un cilindro spazio-temporale $\Omega_T = \Omega \times (0, T]$, dove $1 < p \le q$. Il coefficiente modulante $a(z)$ è una funzione non negativa che governa la transizione tra la crescita di tipo $p$ (dove $a=0$) e quella di tipo $(p,q)$.

La sfida centrale affrontata riguarda la relazione tra il gap tra gli esponenti $q-p$ e la regolarità del coefficiente $a$. Nel contesto ellittico, si sa che la regolarità delle soluzioni dipende criticamente dal fatto che il gap soddisfi una condizione legata al fenomeno di Lavrentiev. Gli autori mirano a stabilire un risultato simile di integrazione superiore per il caso parabolico sotto ipotesi più rilassate sul coefficiente $a$ e un miglioramento della condizione di gap.

Metodologia
Gli autori utilizzano un framework basato sulla geometria intrinseca e sulle disuguaglianze di Hölder inversa, adattato al contesto parabolico con condizioni di crescita non standard. I componenti metodologici chiave includono:

1. Classe di Coefficienti Rilassata ($Z_\kappa$): Invece di assumere $a \in C^{\alpha, \alpha/2}$, gli autori lavorano con la classe $Z_\kappa(\Omega_T)$. Una funzione $a$ appartiene a questa classe se soddisfa un limite puntuale unidirezionale:
   $$a(z_1) \le c_a \left( a(z_2) + d_p(z_1, z_2)^\kappa \right)$$
   dove $d_p$ è la metrica parabolica. Questa classe accoglie coefficienti che possono annullarsi e crescere secondo un tasso determinato da $\kappa$, includendo funzioni non Hölder continue come $|x|^\kappa$.

2. Media di Steklov Obliqua (Slanted Steklov Average): Per gestire la regolarità temporale del coefficiente $a$ senza richiedere la continuità di Hölder nel tempo (che non è garantita in $Z_\kappa$ per $\kappa > 1$), gli autori introducono una nuova tecnica di molleggiazione chiamata "media di Steklov obliqua". Definita come:
   $$[u]_h^R(z) = \frac{1}{h} \int_t^{t+h} u(x + (s-t)\zeta, s) \, ds$$
   Questa tecnica, combinata con una lieve condizione di quasi-monotonia di $a$ (sia in avanti che all'indietro nel tempo), permette di derivare stime di energia e disuguaglianze di Caccioppoli senza le dipendenze circolari che derivano dai metodi standard di troncamento Lipschitz in questo contesto.

3. Geometria Intrinseca e Tempo di Arresto: La dimostrazione utilizza cilindri intrinseci ($Q_{\rho, \lambda}$ per la fase $p$ e $G_{\rho, \lambda}$ per la fase $(p,q)$), dove il parametro di scala $\lambda$ è determinato dal gradiente della soluzione. Un argomento di tempo di arresto viene utilizzato per selezionare i raggi appropriati per questi cilindri basandosi sui livelli dell'integrando $H(z, |Du|) = |Du|^p + a(z)|Du|^q$.

4. Disuguaglianze di Hölder Inversa: Il nucleo della dimostrazione consiste nello stabilire disuguaglianze di Hölder inversa sia per la fase $p$ (dove $a$ è piccolo) sia per la fase $(p,q)$ (dove $a$ è significativo). Queste disuguaglianze si basano su disuguaglianze di Sobolev-Poincaré paraboliche e stime di Gagliardo-Nirenberg adattate alla scala intrinseca.

Contributi Chiave e Risultati

• Miglioramento della Condizione di Gap: Il risultato principale (Teorema 1.3) stabilisce l'integrazione superiore per il gradiente sotto la condizione di gap:
  $$2 \le p \le q \le p + \frac{q\kappa}{q - 2\gamma}$$
  dove $\gamma \in [0, 1)$ è l'esponente di Hölder della soluzione $u$ nello spazio e $\gamma/q$ nel tempo.

  • Gli autori osservano che questa condizione è puramente parabolica. Essa differisce dal limite di gap ellittico ottimale ($q-p \le \kappa/(1-\gamma)$) ed è strettamente più restrittiva nel senso che il gap consentito è minore quando $p \ge 2$.
  • Il limite riflette la regolarità temporale della soluzione; gli autori osservano che se la regolarità temporale potesse essere migliorata da $\gamma/q$ a $\gamma/2$, verrebbe recuperata la condizione di gap ellittica.

• Estensione ai Coefficienti $Z_\kappa$: Il lavoro è il primo ad applicare la classe $Z_\kappa$ (precedentemente utilizzata per problemi a doppia fase ellittici) al contesto parabolico. Ciò consente di trattare coefficienti che non sono necessariamente continui di Hölder nel tempo, purché soddisfino il limite unidirezionale e la condizione di monotonia lieve.

• Nuova Tecnica di Mollificazione: L'introduzione della media di Steklov obliqua fornisce un meccanismo per derivare stime di energia senza assumere che $a$ sia Hölder continua nel tempo, superando i limiti della molleggiazione standard spazio-temporale quando $\kappa > 1$.

• Teorema Principale: Per una soluzione debole $u$ che è localmente $\gamma$-Hölder continua nello spazio e $\gamma/q$-Hölder continua nel tempo, esiste un $\epsilon_0 > 0$ tale che per ogni $\epsilon \in (0, \epsilon_0)$:
  $$\fint_{Q_r(z_0)} H(z, |Du|)^{1+\epsilon} \, dz \le c \left( \frac{2 + \|a\|_\infty}{r^{q-2\gamma}} \right)^{1 + \frac{\epsilon q}{2}}$$
  Ciò conferma l'integrazione superiore locale del gradiente nello spazio Orlicz-Sobolev associato al funzionale a doppia fase.

Significato e Rivendicazioni
Il lavoro sostiene di far avanzare la teoria della regolarità per problemi parabolici a ellitticità non uniforme:

1. Rilassamento delle Ipotesi di Regolarità: Andare oltre la standard assunzione $C^{\alpha, \alpha/2}$ sul coefficiente $a$ verso la classe più ampia $Z_\kappa$, che modella meglio i materiali con ellitticità variabile.
2. Raffinamento della Condizione di Gap: Fornire un limite di gap che sia intrinseco alla natura parabolica dell'equazione, collegando esplicitamente il gap consentito tra $p$ e $q$ alla regolarità di Hölder temporale della soluzione.
3. Innovazione Metodologica: Dimostrare che la media di Steklov obliqua è un'alternativa valida al troncamento Lipschitz per derivare stime di energia in contesti dove la regolarità del coefficiente è insufficiente per i metodi standard.

Gli autori dichiarano esplicitamente che il loro approccio si estende ai sistemi e al regime singolare ($p < 2$), sebbene l'attuale lavoro si limiti a equazioni scalari omogenee poiché la regolarità di Hölder per i sistemi e per il caso singolare non è ancora stata pienamente stabilita nella letteratura. Notano inoltre che il limite di gap derivato potrebbe non essere ottimale, poiché il fenomeno è governato interamente dalla regolarità temporale nel contesto parabolico.