Harnack inequality for anisotropic fully nonlinear equations with nonstandard growth

1. Il Problema e il Contesto

Il lavoro si concentra sull'analisi della regolarità delle soluzioni di viscosità per una classe di equazioni ellittiche fully nonlineari degeneri e anisotrope, caratterizzate da condizioni di crescita non standard. L'equazione principale studiata è della forma:

$$M^{\pm}_{\lambda, \Lambda} \left( \left[ |D_i u|^{\frac{p_i-2}{2}} \right] D^2 u \left[ |D_i u|^{\frac{p_i-2}{2}} \right] \right) \pm \mu \sum_{i} |D_i u|^{p_i-1} \leq c_0$$

dove:

• $M^{\pm}_{\lambda, \Lambda}$ sono gli operatori di Pucci estremali.
• $D_i u$ indica la derivata parziale rispetto alla $i$-esima coordinata.
• I parametri $p_i$ soddisfano $2 \leq p_1 \leq \dots \leq p_n$, indicando un comportamento anisotropo (diverso per ogni direzione).
• Il termine di crescita non standard deriva da funzionali del tipo $\int F(Dw) dx$ con $|z|^{p_1} \lesssim F(z) \lesssim |z|^{p_1} + |z|^{p_n}$.

Sfide principali:

1. Degenerazione Anisotropa: A differenza del Laplaciano $p$-standard ($\Delta_p$), che degenera solo quando l'intero gradiente è nullo, l'operatore anisotropo degenera se qualsiasi componente del gradiente $\partial_i u$ si annulla. Questo rende l'analisi della regolarità estremamente complessa.
2. Crescita Non Standard: La presenza di esponenti diversi ($p_1 \neq p_n$) crea uno "scaling" non omogeneo.
3. Limitazioni delle Soluzioni di Viscosità: Le tecniche classiche per le soluzioni deboli (come la teoria di De Giorgi-Nash-Moser o l'uso di disuguaglianze di Sobolev) non sono direttamente applicabili alle soluzioni di viscosità in questo contesto, a causa dell'assenza di una struttura variazionale diretta e della mancanza di un quadro funzionale-analitico astratto per la costruzione di funzioni barriera.

2. Metodologia

Gli autori adottano un approccio basato sulla geometria intrinseca, inizialmente introdotto per le equazioni paraboliche, adattandolo al caso ellittico fully nonlineare anisotropo.

A. Scaling Intrinseco

Invece di utilizzare cubi standard $Q_r$, gli autori definiscono cubi intrinseci $K_r(M)$ adattati alla scala naturale dell'equazione a un dato livello $M$:
$$K_r(M) := \{ |x_i| \leq r^{\alpha_i} M^{\beta_i} \}$$
con $\alpha_i = 1/p_i$ e $\beta_i = -(p_n - p_i)/p_i$. Questo permette di gestire la diversa velocità di crescita nelle diverse direzioni coordinate.

B. Stima di Misura di Base (Sliding Paraboloid)

Per ottenere stime di misura fondamentali (Lemma 3.1), viene utilizzata la tecnica del paraboloide scorrevole (sliding paraboloid method), originariamente sviluppata da Cabré e Savin.

• Adattamento Anisotropo: Poiché un paraboloide isotropo standard non è compatibile con la degenerazione anisotropa, gli autori costruiscono un paraboloide di prova anisotropo della forma:
  $$\phi(x) = \sum K_i |x_i|^{\frac{p_i}{p_i-1}}$$
• Gestione delle Singolarità: Poiché queste funzioni non sono $C^2$ sui piani coordinati, l'analisi si basa su un argomento di "restrizione alle sezioni" (slice restriction) per gestire i punti singolari, assumendo poi la regolarità $C^2$ per la dimostrazione principale.

C. Proprietà di Duplicazione (Doubling Property) e Funzione Barriera

Il contributo tecnico più significativo è la costruzione esplicita di una nuova funzione barriera anisotropa (Sezione 4) per dimostrare la proprietà di duplicazione (Lemma 5.1).

• La barriera ha la forma:
  $$\Phi(x) = (|b_1 x_1|^{a_1} + \dots + |b_n x_n|^{a_n})^{-\gamma}$$
• Gli autori determinano esplicitamente i parametri $a_i, b_i, \gamma$ in modo che $\Phi$ sia una sottosoluzione dell'equazione.
• Condizione Chiave: La costruzione della barriera richiede una condizione specifica sugli esponenti $p_i$ (equazione 1.6), che limita il "gap" tra $p_1$ e $p_n$ in relazione al rapporto $\Lambda/\lambda$. Questa è la parte più tecnica e delicata della dimostrazione.

D. Stima $L^\epsilon$ e Disuguaglianza di Harnack

Combinando le stime di misura, la proprietà di duplicazione e un argomento di ricoprimento di Vitali adattato ai cubi intrinseci, gli autori derivano una stima $L^\epsilon$ (Teorema 6.1) che quantifica il decadimento algebrico dei livelli di soluzione. Questo porta infine alla disuguaglianza di Harnack intrinseca.

3. Risultati Principali

Teorema 1.1 (Disuguaglianza di Harnack Intrinseca)

Sotto l'ipotesi che gli esponenti $p_i$ soddisfino la condizione di gap:
$$\frac{p_n - 1}{p_1 - 1} \leq \frac{p_n}{p} \frac{n}{n - \lambda/\Lambda}$$
dove $p$ è la media armonica degli $p_i$, esiste una costante $C_0 > 1$ tale che per ogni soluzione non negativa $u$:

1. Parte Superiore: Se $u(0) > 0$, allora $\sup_{K_r(u(0))} u \leq C_0 u(0)$.
2. Parte Inferiore: Se $u(0) > 0$, allora $\inf_{K_r(C_0 u(0))} u \geq \frac{1}{C_0} u(0)$.

Corollario 1.1 (Regolarità di Hölder)

Come conseguenza diretta, le soluzioni di viscosità sono localmente Hölder continue con un esponente universale $\alpha \in (0,1)$.

4. Contributi Chiave e Innovazioni

1. Primo Risultato per Soluzioni di Viscosità: Questo è il primo lavoro che stabilisce la disuguaglianza di Harnack per soluzioni di viscosità di equazioni anisotrope fully nonlineari con crescita non standard. Le tecniche precedenti per soluzioni deboli non erano applicabili.
2. Costruzione Esplicita della Barriera: La costruzione della funzione barriera anisotropa $\Phi$ è un risultato originale. A differenza di approcci precedenti che si basavano su metodi funzionali-analitici astratti (come soluzioni di Barenblatt), qui la barriera è costruita esplicitamente, permettendo di gestire la struttura specifica dell'operatore.
3. Adattamento della Geometria Intrinseca: L'adattamento della tecnica della geometria intrinseca (cubi $K_r(M)$) al caso fully nonlineare anisotropo, dove ogni direzione ha una propria scala, rappresenta un avanzamento metodologico significativo rispetto ai casi isotropi o parabolici.
4. Condizione sugli Esponenti: Gli autori identificano una condizione precisa sul gap tra $p_1$ e $p_n$ necessaria per la validità della disuguaglianza, fornendo una caratterizzazione più esplicita rispetto a risultati precedenti basati su parametri impliciti.

5. Significato e Impatto

Il lavoro colma un vuoto significativo nella teoria della regolarità per le equazioni ellittiche nonlineari.

• Teorico: Estende la teoria di regolarità (Harnack e Hölder) a una classe molto ampia di operatori degeneri che modellano fenomeni fisici con anisotropia forte (es. materiali compositi, fluidi non newtoniani in geometrie complesse).
• Metodologico: Dimostra che è possibile superare l'assenza di strumenti variazionali per le soluzioni di viscosità attraverso una combinazione ingegnosa di geometria intrinseca, tecniche di paraboloide scorrevole e costruzione esplicita di barriere.
• Fondamentale: Fornisce le basi per futuri studi su equazioni con coefficienti variabili e problemi di frontiera libera in contesti anisotropi con crescita non standard.

In sintesi, Byun e Kim hanno sviluppato un quadro robusto per l'analisi di equazioni altamente degeneri e anisotrope, risolvendo un problema aperto per le soluzioni di viscosità e fornendo nuovi strumenti tecnici (in particolare la barriera esplicita) che potrebbero essere applicati ad altre classi di equazioni non standard.