Infinity-harmonic functions in the plane: Regularity by injectivity

Sintesi Tecnica: Funzioni $\infty$-armoniche nel piano: Regolarità per iniettività

Enunciato del Problema
L'articolo affronta una congettura di lunga data riguardante la regolarità delle funzioni $\infty$-armoniche nel piano ($\mathbb{R}^2$). Nello specifico, si investiga se il gradiente di una soluzione viscosa dell'equazione $\infty$-laplaciana $\Delta_\infty u = \nabla u \cdot D^2 u \nabla u = 0$ possieda continuità Hölder di ordine $1/3$ ($C^{1, 1/3}$). Sebbene sia stabilito che le soluzioni siano $C^1$ e che i loro gradienti siano localmente $\alpha$-Hölder per un certo $\alpha > 0$, non è stata provata una costante inferiore positiva uniforme per $\alpha$ nel caso generale. L'articolo nota che la soluzione di Aronsson, $u(x,y) = x^{4/3} - y^{4/3}$, dimostra che non è possibile una regolarità superiore alla continuità Hölder di ordine $1/3$ in generale.

Metodologia
L'autore, Karl K. Brustad, stabilisce una connessione tra l'equazione $\infty$-laplaciana e l'equazione del calore monodimensionale (struttura calorica) sotto un particolare vincolo geometrico. La metodologia centrale prevede i seguenti passaggi:

1. Assunzione di Iniettività: L'analisi è limitata a domini in cui la mappa del gradiente $\nabla u$ è iniettiva (specificamente soddisfacendo una condizione di iniettività metrica $|\nabla u(x) - \nabla u(y)| \ge C_1 |x-y|$). Ciò assicura l'esistenza di una mappa inversa Lipschitziana $f: B \to \Omega$, dove $B = \nabla u(\Omega)$.
2. Trasformata di Legendre e Cambio di Variabili: L'autore costruisce una funzione potenziale $w(p) = p^\top f(p) - u(f(p))$ per la mappa inversa. Viene introdotto un cambio di variabili liscio e localmente uno-a-uno, che mappa lo spazio del gradiente in un dominio $D$ parametrizzato da $(\psi, t)$, dove $p = e^{-t}[\cos \psi, \sin \psi]^\top$. Qui, $e^{-t}$ rappresenta l'ampiezza del gradiente e $\psi$ la sua direzione.
3. Struttura Calorica: Si dimostra che la funzione trasformata $h(\psi, t) = w(p(\psi, t))$ soddisfa l'equazione del calore $h_{\psi\psi} = h_t$. Di conseguenza, anche la funzione originale $u$, espressa in queste coordinate, è calorica.
4. Analisi delle Linee di Flusso: La prova utilizza l'esistenza di linee di flusso massimali ascendenti e discendenti per funzioni $\infty$-sottosuperarmoniche per analizzare il comportamento del gradiente lungo curve in cui la sua ampiezza è non decrescente.
5. Espansione di Taylor e Analisi Nodale: Per stabilire il limite di regolarità, l'autore esegue un'espansione di Taylor della funzione calorica $v$ (derivata da $u$) attorno a punti in cui la derivata spaziale $v_\psi$ si annulla. Analizzando i polinomi del calore (ad esempio, $r_3, r_4$) e i loro domini nodali, l'autore dimostra che se $v_\psi = 0$, allora $v_t \neq 0$. Questa non-degenerazione è cruciale per le stime successive.
6. Stime della Funzione Inversa: Utilizzando la non-degenerazione dell'Hessiano del potenziale $w$ nei punti critici di $v_\psi$, l'autore deriva un'espansione del terzo ordine della mappa inversa $f$. Ciò conduce alla stima $|f(p+h) - f(p)| \ge C|h|^3$ localmente.

Contributi Principali e Risultati
Il risultato primario è il Teorema 1.1, che afferma:
Se $u$ è $\infty$-armonica in un insieme aperto $\Omega \subseteq \mathbb{R}^2$ con $\nabla u \neq 0$, e se il gradiente soddisfa la condizione di iniettività metrica $|\nabla u(x) - \nabla u(y)| \ge C_1 |x-y|$, allora localmente in $\Omega$, esiste una costante $C_2$ tale che:
$$|\nabla u(x) - \nabla u(y)| \le C_2 |x-y|^{1/3}$$

L'articolo fornisce due esempi specifici per illustrare la teoria:

1. Il potenziale $\infty$ in un quadrato: La soluzione del problema di Dirichlet su un quadrato con una sorgente puntiforme mostra di avere un gradiente invertibile in un sotto-quadrato. La funzione calorica associata è costruita esplicitamente usando le funzioni Theta di Jacobi. Il risultato conferma che il gradiente è esattamente $C^{1, 1/3}$ vicino alle diagonali (dove $v_\psi=0$) e real-analitica altrove.
2. La soluzione di Aronsson: La classica soluzione singolare $u = \frac{3}{4}(x^{4/3} - y^{4/3})$ viene riesaminata. L'analisi conferma che la non-smoothness avviene precisamente quando la direzione del gradiente si allinea con gli assi ($v_\psi = 0$), e la regolarità derivata corrisponde al noto comportamento Hölder di ordine $1/3$.

Significato e Rivendicazioni
L'articolo sostiene di fornire una prova della continuità Hölder di ordine $1/3$ del gradiente per funzioni $\infty$-armoniche nel piano, subordinatamente all'iniettività della mappa del gradiente. L'autore sottolinea che, sebbene l'iniettività non sia una condizione necessaria (poiché esistono soluzioni regolari come piani e coni), la "struttura calorica" accessibile tramite questa condizione è sufficiente per derivare il limite ottimale di regolarità.

L'autore nota con modestia che la prova è limitata alla situazione in cui $\nabla u \neq 0$ e non include attualmente i punti critici, sebbene ciò possa essere possibile con un'ulteriore analisi del limite $t \to \infty$. Inoltre, l'autore suggerisce che la condizione di iniettività potrebbe essere indebolita in mera iniettività (senza il vincolo metrico), ma provarlo richiederebbe versioni migliorate dei lemmi di supporto. Il lavoro si basa sulla connessione tra l'equazione $\infty$-laplaciana e l'equazione del calore, un legame precedentemente osservato da Aronsson, ma qui formalizzato per ottenere stime di regolarità specifiche.