Uniform estimates and Brezis-Merle type inequalities for the $k$-Hessian equation

Titolo e Contesto

Il lavoro si concentra sulle equazioni di Hessian $k$ (k-Hessian equations), un'importante classe di equazioni differenziali alle derivate parziali non lineari di tipo ellittico completamente non lineare. L'obiettivo principale è stabilire stime uniformi, disuguaglianze di tipo Brezis-Merle e principi di concentrazione-compattezza per soluzioni di queste equazioni, estendendo risultati classici noti per l'operatore di Laplace ($k=1$) e l'operatore di Monge-Ampère ($k=n$).

Il Problema

L'equazione $k$-Hessian è definita come:
$$S_k[u] = \sum_{1 \le i_1 < \dots < i_k \le n} \lambda_{i_1} \dots \lambda_{i_k} = f$$
dove $\lambda_i$ sono gli autovalori della matrice Hessiana $D^2u$. Le soluzioni ammissibili appartengono alla classe delle funzioni $k$-convesse ($\Phi_k$), dove tutti gli autovalori della matrice Hessiana soddisfano condizioni di convessità generalizzata.

Il problema centrale affrontato è la comprensione del comportamento delle soluzioni, in particolare:

1. La validità di stime $L^\infty$ uniformi (tipo Alexandrov-Bakelman-Pucci, ABP) quando il termine di destra $f$ appartiene a spazi $L^1$ o ha una struttura specifica (es. esponenziale).
2. L'analisi del comportamento di "blow-up" (esplosione) delle soluzioni quando il termine di sorgente è critico, specialmente nel caso intermedio $k = n/2$.
3. La generalizzazione della disuguaglianza di Brezis-Merle (originariamente per l'equazione di Liouville in 2D) al contesto delle equazioni $k$-Hessian in dimensioni superiori.

Metodologia

Gli autori utilizzano un approccio analitico sofisticato che combina diverse tecniche avanzate:

1. Misura di Hessian e Capacità: Si fa ricorso alla teoria delle misure di Hessian sviluppata da Trudinger e Wang per funzioni $k$-convesse generali. Viene utilizzata la capacità $k$-Hessian ($Cap_k$) per stabilire disuguaglianze isocapacitarie che legano la misura degli insiemi di livello alla massa dell'operatore.
2. Principio di Confronto: Viene applicato un principio di confronto per le misure di Hessian (Teorema 2.2) per confrontare soluzioni con funzioni estreme associate alla capacità.
3. Metodo Iterativo con Equazione Ausiliaria: Per la stima ABP (Teorema 1.2), gli autori adottano un metodo iterativo ispirato allo studio delle equazioni di Monge-Ampère complesse. Costruiscono un'equazione ausiliaria $k$-Hessian con un termine sorgente modificato da una funzione $\Phi$ e utilizzano un'analisi fine delle funzioni di livello per derivare stime puntuali.
4. Analisi di Concentrazione: Per il principio di concentrazione-compactness, si analizza la convergenza debole delle misure $V_i e^{-u_i}$ e si studia l'insieme dei punti di singolarità (blow-up set) utilizzando disuguaglianze di Harnack e stime locali.

Risultati Chiave

1. Disuguaglianza di Tipo Brezis-Merle (Teorema 1.1)

Il risultato principale è una generalizzazione della disuguaglianza di Brezis-Merle per funzioni $k$-convesse con valore al bordo nullo.

• Caso $1 \le k < n/2$: Viene stabilita una stima $L^p$ per $p$ limitato superiormente da $\frac{kn}{n-2k}$.
• Caso Critico $k = n/2$: Viene dimostrata una disuguaglianza esponenziale. Per ogni $\lambda < \alpha_0$ (dove $\alpha_0$ è una costante dipendente da $n$ e $k$), l'integrale di una funzione esponenziale della soluzione normalizzata è limitato:
  $$\sup \left\{ \int_\Omega \exp\left( \lambda \left( \frac{-u}{M_k(u)^{1/k}} \right)^{\frac{k\beta}{k+1}} \right) dx \right\} \le C(n) \frac{\alpha_0}{\alpha_0 - \lambda} |\Omega|$$
  Questo risultato è cruciale per trattare termini di sorgente critici nell'equazione di Liouville $k$-Hessian.

2. Stima di Tipo Alexandrov-Bakelman-Pucci (ABP) (Teorema 1.2)

Per il caso critico $k = n/2$, gli autori migliorano le stime uniformi esistenti. Dimostrano che per una soluzione $u$, il massimo è controllato da:
$$\sup_\Omega u \le \sup_{\partial\Omega} u + c_1 + c_2 \left( \int_{\Gamma_-} S_k[-u] \Phi(\log(S_k[-u])) dx \right)^{1/k}$$
dove $\Gamma_-$ è l'insieme dove $u > 0$ e $S_k[u] < 0$, e $\Phi$ è una funzione crescente con una condizione di integrabilità specifica. Questa stima è più fine rispetto alle stime $L^p$ classiche quando il termine di destra ha una crescita logaritmica.

3. Principio di Concentrazione-Compactness (Teorema 1.3)

Per una sequenza di soluzioni dell'equazione di Liouville $k$-Hessian ($S_k[u_i] = V_i e^{-u_i}$), viene stabilito un tricotomia per il comportamento asintotico:

1. La sequenza è limitata in $L^\infty_{loc}(\Omega)$.
2. La sequenza diverge uniformemente a $+\infty$ su ogni compatto di $\Omega$.
3. L'insieme di blow-up $S$ è finito e non vuoto. In questo caso, la sequenza converge a $+\infty$ uniformemente sui compatti di $\Omega \setminus S$, e le misure $V_i e^{-u_i}$ convergono a una misura discreta $\mu = \sum \alpha_i \delta_{a_i}$, dove ogni coefficiente soddisfa una soglia di massa critica: $\alpha_i \ge (\frac{\alpha_0}{p'})^k$.

Significato e Contributi

• Estensione di Teoremi Fondamentali: Il lavoro estende la teoria classica di Brezis-Merle (valida per $k=1$ in dimensione 2) e le stime ABP al contesto delle equazioni $k$-Hessian, colmando un divario nella teoria delle equazioni ellittiche completamente non lineari.
• Gestione del Caso Critico: La trattazione del caso $k=n/2$ è particolarmente significativa poiché rappresenta il punto di transizione tra la sovradimensionalità e la sottodimensionalità rispetto alla capacità, richiedendo tecniche di analisi fine (disuguaglianze esponenziali) simili a quelle del caso Monge-Ampère.
• Struttura dei Singolarità: Il principio di concentrazione-compactness fornisce una descrizione precisa della struttura delle singolarità per le equazioni di Liouville $k$-Hessian, quantificando la "massa" minima necessaria per formare un punto di blow-up. Questo è essenziale per lo studio dell'esistenza e della regolarità delle soluzioni in contesti variazionali.
• Applicabilità: I risultati hanno implicazioni dirette per la geometria differenziale (problemi di curvatura di Hessian) e per la fisica matematica dove appaiono equazioni di tipo Liouville in dimensioni superiori.

In sintesi, il paper fornisce gli strumenti analitici fondamentali per lo studio delle proprietà qualitative (limitatezza, blow-up, convergenza) delle soluzioni di equazioni $k$-Hessian in regimi critici, ponendo le basi per futuri sviluppi nella teoria delle equazioni alle derivate parziali non lineari.