Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

Sintesi Tecnica: Regolarità di Lipschitz per Equazioni Ellittiche Fully Nonlineari con Crescita (p, q)

Enunciato del Problema
Questo articolo indaga la regolarità di Lipschitz interna e globale delle soluzioni di viscosità per equazioni ellittiche fully nonlineari della forma:
$$F(D^2u, Du, x) = f(x, Du) \quad \text{in } \Omega,$$
dove l'operatore $F$ soddisfa una condizione di ellitticità non uniforme con crescita $(p, q)$. Nello specifico, il rapporto di ellitticità è ammesso a crescere polinomialmente con la magnitudine del gradiente $|Du|$, comportandosi come $1 + |Du|^{q-p}$. Gli autori si concentrano sul regime in cui il gap $q-p$ è piccolo, mirando a stabilire che le soluzioni sono continue di Lipschitz ($u \in \text{Lip}$) sotto specifici vincoli su tale gap rispetto alla continuità Hölderiana dei coefficienti e alla regolarità a priori della soluzione.

Lo studio affronta la sfida per cui, quando $|Du|$ è grande, l'equazione diventa non uniformemente ellittica, potenzialmente portando a comportamenti irregolari. Dimostrare la regolarità di Lipschitz limita efficacemente il gradiente, riportando così l'equazione in un regime uniformemente ellittico. Il lavoro considera due esempi strutturali primari:

1. Problemi a Doppia Fase: Analoghi fully nonlineari del funzionale variazionale a doppia fase $\int (|Du|^p + a(x)|Du|^q)dx$.
2. Problemi con Crescita Anisotropa $(p, q)$: Equazioni che coinvolgono tassi di crescita diversi in diverse direzioni coordinate.

Metodologia
Lo strumento analitico centrale impiegato è il metodo di Ishii-Lions, una tecnica di raddoppio delle variabili utilizzata per derivare stime del gradiente per soluzioni di viscosità. La strategia di prova coinvolge i seguenti passaggi chiave:

1. Riduzione a Crescita $(0, \gamma)$: Gli autori trasformano inizialmente il problema originale di crescita $(p, q)$ in un problema di crescita $(0, \gamma)$ (dove $\gamma = q-p$) dividendo l'equazione per $|Du|^p$. Questo semplifica le ipotesi strutturali preservando al contempo l'ellitticità non uniforme essenziale dipendente dal gradiente.
2. Argomenti di Scalatura: Per gestire le norme della soluzione, vengono applicate tecniche di scalatura per normalizzare la soluzione (ad esempio, assumendo $\|u\|_{L^\infty} \leq 1$ o $\|u\|_{C^\beta} \leq 1$) aggiustando al contempo le costanti strutturali $\Lambda$ e $C_f$.
3. Stime Interne: Per la regolarità interna, gli autori costruiscono un argomento basato sul principio del massimo utilizzando una funzione di prova della forma:
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   I termini di localizzazione che coinvolgono $L_2$ sono cruciali per il caso interno per controllare la differenza nei gradienti in due punti. La prova procede per assurdo, assumendo che il massimo sia positivo e derivando una contraddizione per $L_1$ e $L_2$ grandi analizzando le disuguaglianze di viscosità nei punti di massimo mediante gli operatori di Pucci e le ipotesi strutturali (A1)-(A4).
4. Stime al Bordo e Globali: Per la regolarità globale, gli autori combinano il metodo di Ishii-Lions con una costruzione di barriera (seguendo Birindelli e Demengel). Costruiscono funzioni barriera esplicite vicino al bordo per controllare il comportamento della soluzione rispetto ai dati al bordo $g \in C^{1,1}$.
   • Una distinzione critica nell'argomento globale è l'assenza dei termini di localizzazione (termini $L_2$) utilizzati nella prova interna. Di conseguenza, il termine "differenza di gradiente" (ipotesi A2) non appare nelle stime globali, permettendo un rilassamento delle ipotesi strutturali nel teorema globale.

Risultati Chiave
L'articolo stabilisce i seguenti teoremi principali riguardanti il gap ammissibile $q-p$ richiesto per la regolarità di Lipschitz:

• Regolarità Interna (Teorema 1.1):

  • Se $u \in L^\infty$ (o semplicemente continua), la continuità di Lipschitz vale se $q - p < \alpha$, dove $\alpha$ è l'esponente di Hölder del coefficiente $x \mapsto F(\cdot, \cdot, x)$.
  • Se $u \in C^\beta$ a priori, il gap ammissibile migliora a:
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • Gli autori notano che il limite interno per soluzioni $C^\beta$ è leggermente più restrittivo del limite variazionale ottimale a causa dei termini di localizzazione richiesti nell'argomento di Ishii-Lions.

• Regolarità Globale (Teorema 1.2):

  • Per un dominio limitato $C^{1,1}$ $\Omega$ con dati al bordo $g \in C^{1,1}$, se $u \in L^\infty$, la condizione $q - p < \alpha$ è sufficiente.
  • Se $u \in C^\beta$ a priori, la regolarità di Lipschitz globale vale sotto il limite migliorato:
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • Questo limite globale corrisponde alle condizioni di gap sharp note per i problemi variazionali a doppia fase (specificamente quelli in [6, 12]).

Significato e Affermazioni
Gli autori collocano il loro lavoro come un'estensione della teoria della regolarità dagli ambienti variazionali (forma divergenza) alle equazioni fully nonlineari (forma non divergenza) con crescita $(p, q)$.

• Confronto con la Teoria Variazionale: I risultati recuperano le condizioni di gap sharp note per il problema a doppia fase nell'ambiente variazionale (ad esempio, $q-p < \alpha/(1-\beta)$ per soluzioni $C^\beta$).
• Distinzione dai Modelli di Tipo Prodotto: L'articolo evidenzia che il loro modello (1.3) differisce fondamentalmente dai modelli di tipo prodotto (1.11) studiati da De Filippis. Nei modelli di tipo prodotto, la regolarità $C^{1,\alpha}$ può essere ottenuta indipendentemente dal gap $q-p$ grazie alla specifica struttura di prodotto che permette la rimozione dei termini di gradiente. Al contrario, il modello degli autori non possiede questa struttura (quando $F \neq G$), rendendo le condizioni sul gap tra $p$ e $q$ essenziali per la regolarità.
• Novità nell'Ambiente Non Divergenza: Gli autori affermano che, mentre sono ben noti controesempi irregolari per equazioni in forma divergenza oltre i gap ottimali, non sono attualmente disponibili controesempi analoghi per equazioni fully nonlineari in forma non divergenza con crescita $(p, q)$. Pertanto, i loro risultati forniscono la prima teoria sistematica di regolarità di Lipschitz per questa classe di equazioni non divergenza, stabilendo le condizioni di gap necessarie analoghe al caso variazionale.
• Ipotesi Strutturali: L'articolo chiarisce che l'ipotesi (A2) (continuità di Lipschitz di $F$ rispetto al gradiente) è necessaria solo per le stime interne a causa della tecnica di localizzazione, ma non è richiesta per le stime globali, dimostrando una comprensione sfumata dei meccanismi di regolarità nelle equazioni non divergenza.