On the Hölder continuity of signed solutions to doubly nonlinear parabolic equations in the mixed degenerate/singular cases

1. Il Problema

Il lavoro si concentra sulla regolarità delle soluzioni dell'equazione parabolica doppiamente non lineare con coefficienti misurabili:
$$\frac{\partial}{\partial t} \left( |u|^{q-1}u \right) - \text{div} \left( A(x, t, u, Du) \right) = 0$$
definita in un dominio cilindrico $\Omega_T = \Omega \times (0, T)$, dove $\Omega \subset \mathbb{R}^N$.

L'equazione include casi noti come l'equazione del mezzo poroso ($p=2$), l'equazione parabolica $p$-Laplaciana ($q=1$) e l'equazione di Trudinger ($q=p-1$). La struttura dell'operatore $A$ soddisfa condizioni di crescita e coercività tipiche:
$$K_1 |\xi|^p \leq A(x,t,u,\xi)\cdot\xi, \quad |A(x,t,u,\xi)| \leq K_2 |\xi|^{p-1}$$
con $K_1, K_2 > 0$.

La sfida principale:
La letteratura esistente ha ampiamente studiato la continuità Hölder per soluzioni non negative o per casi "doppiamente degeneri" ($q < p-1, p > 2$) e "doppiamente singolari" ($q > p-1, 1 < p < 2$). Tuttavia, i casi misti per soluzioni che cambiano segno (signed solutions) non erano stati ancora risolti:

1. Caso Degenero/Singolare: $0 < q < p-1$ e $p < 2$.
2. Caso Singolare/Degenero: $q > p-1$ e $p > 2$.

In questi regimi, l'equazione presenta sia singolarità (dove $Du=0$o$u=0$) che degenerazioni, rendendo l'analisi molto complessa, specialmente quando la soluzione $u$ attraversa lo zero.

2. Metodologia

L'autore utilizza una combinazione di tecniche avanzate della teoria delle equazioni alle derivate parziali non lineari:

• Riscaldamento di DiBenedetto: Viene applicato un metodo di riscalamento (rescaling) per ridurre il problema a casi singolari standard, permettendo di lavorare in cilindri adattati alla soluzione.
• Disuguaglianze di Harnack Integrali per Soluzioni che Cambiano Segno: Il cuore della dimostrazione risiede nella derivazione di nuove versioni delle disuguaglianze di tipo Harnack. A differenza dei casi classici che usano $(\mu - u)$, qui si utilizzano quantità come $\pm(|\mu_\pm|^{q-1}\mu_\pm - |u|^{q-1}u)$ per gestire il comportamento non lineare attorno allo zero.
• Stime di Energia Locale e Lemma di De Giorgi: Vengono utilizzate stime energetiche standard (Lemma 2.3) combinate con un lemma di tipo De Giorgi (Lemma 2.4 e 2.5) per controllare la misura dei livelli di insiemi dove la soluzione è vicina ai suoi estremi.
• Espansione della Positività: Per il caso $q > p-1$, viene dimostrato un teorema sull'espansione della positività (Teorema 1.4) specifico per soluzioni che cambiano segno, che garantisce che se la soluzione è "abbastanza grande" su un insieme di misura positiva, essa rimane lontana dallo zero in un cilindro interno.
• Mollificazione Temporale: Per gestire la derivata temporale debole, viene utilizzata una mollificazione esponenziale nel tempo ($J_h v$).

3. Risultati Chiave

Teorema Principale (Teorema 1.1)

Sia $u$ una soluzione debole locale e localmente limitata dell'equazione (1.1). Se i parametri soddisfano una delle seguenti condizioni:

1. $0 < q < p-1$ e $p < 2$ (con $p + N(p-2) > 0$);
2. $q > p-1$ e $p > 2$ (con $qp + N(p-1-q) > 0$);

allora $u$ è localmente Hölder continua in $\Omega_T$.

Proposizione 1.1 (Riduzione dell'Oscillazione)

Il risultato principale è una conseguenza di una proposizione che stabilisce la riduzione dell'oscillazione della soluzione in cilindri ridotti. Esistono costanti $b, \sigma_0, \eta_0, \epsilon_0 \in (0,1)$ tali che, se l'oscillazione iniziale è controllata rispetto agli estremi $\mu_+, \mu_-$, allora l'oscillazione in un cilindro più piccolo (con dimensioni temporali e spaziali scalate in modo specifico) si riduce di un fattore $\sigma_0 < 1$.

Nuove Disuguaglianze di Harnack (Teoremi 1.2 e 1.3)

Vengono provate due nuove disuguaglianze integrali di tipo Harnack per soluzioni che cambiano segno:

• Teorema 1.2: Valido per $q < p-1$ e $p < 2$. Fornisce un controllo sull'integrale di $\pm(|\mu_\pm|^{q-1}\mu_\pm - |u|^{q-1}u)$ in termini del suo infimum più un termine di errore dipendente dai dati.
• Teorema 1.3: Valido per $q > p-1$ e $q > 1. Fornisce una stima analoga ma con potenze diverse dovute alla natura singolare/degenere del caso.

Teorema sull'Espansione della Positività (Teorema 1.4)

Per il caso $q > p-1$, viene dimostrato che se la soluzione è "grande" su un insieme di misura positiva per tutti i tempi in un intervallo, allora essa rimane strettamente positiva (o negativa) in un cilindro interno, a condizione che gli estremi $\mu_\pm$ siano sufficientemente piccoli rispetto all'oscillazione totale. Questo è un risultato nuovo nel contesto delle equazioni doppiamente non lineari con soluzioni che cambiano segno.

4. Contributi Principali

1. Estensione dei Regimi di Regolarità: Il lavoro estende la teoria della regolarità Hölder a due nuovi regimi misti (degenero/singolare e singolare/degenero) che erano precedentemente aperti solo per soluzioni non negative.
2. Gestione delle Soluzioni che Cambiano Segno: La principale innovazione è la capacità di trattare soluzioni che attraversano lo zero. Questo richiede di evitare la semplice linearizzazione o l'uso di $u$ come variabile di prova, adottando invece strutture non lineari specifiche ($\pm(|\mu|^{q-1}\mu - |u|^{q-1}u)$) che mantengono la coercività anche vicino allo zero.
3. Nuove Disuguaglianze Integrali: La dimostrazione di nuove disuguaglianze di Harnack integrali adattate a queste strutture miste costituisce un contributo tecnico significativo alla teoria delle equazioni paraboliche non lineari.

5. Significato e Impatto

Questo risultato è fondamentale per la teoria delle equazioni alle derivate parziali non lineari perché:

• Completamento Teorico: Chiude un gap nella classificazione della regolarità delle soluzioni per equazioni doppiamente non lineari, coprendo tutti i casi possibili di $p$ e $q$ (sotto le condizioni di restrizione dimensionale standard).
• Applicabilità Fisica: Le equazioni doppiamente non lineari modellano fenomeni fisici complessi come la filtrazione di fluidi in mezzi porosi non omogenei, la dinamica dei plasmi e la diffusione in materiali con proprietà variabili. La possibilità di avere soluzioni che cambiano segno è cruciale in molti modelli fisici reali (es. differenze di pressione o concentrazione).
• Metodologia: Le tecniche sviluppate, in particolare le disuguaglianze di Harnack per soluzioni sign-changing, possono essere adattate per studiare la regolarità di altre classi di equazioni paraboliche non lineari con strutture complesse.

In sintesi, il paper di Skrypnik fornisce una prova rigorosa e completa della continuità Hölder per una classe ampia e tecnicamente difficile di equazioni paraboliche, risolvendo un problema aperto da decenni per le soluzioni che cambiano segno.