Infinity-harmonic functions in the plane: Regularity by injectivity

Resumen Técnico: Funciones armónicas de infinito en el plano: Regularidad por inyectividad

Planteamiento del problema
El artículo aborda una conjetura largamente discutida sobre la regularidad de las funciones armónicas de $\infty$ en el plano ($\mathbb{R}^2$). Específicamente, investiga si el gradiente de una solución de viscosidad a la ecuación $\infty$-laplaciana, $\Delta_\infty u = \nabla u \cdot D^2 u \nabla u = 0$, posee continuidad de Hölder de tipo $1/3$ ($C^{1, 1/3}$). Si bien se ha establecido que las soluciones son $C^1$ y que sus gradientes son localmente $\alpha$-Hölder para algún $\alpha > 0$, no se ha demostrado un límite inferior positivo uniforme para $\alpha$ en el caso general. El artículo señala que la solución de Aronsson, $u(x,y) = x^{4/3} - y^{4/3}$, demuestra que no es posible una regularidad superior a la de Hölder $1/3$ en general.

Metodología
El autor, Karl K. Brustad, establece una conexión entre la ecuación $\infty$-laplaciana y la ecuación del calor unidimensional (estructura cálórica) bajo una restrición geométrica específica. La metodología central involucra los siguientes pasos:

1. Supuesto de inyectividad: El análisis se restringe a dominios donde el mapa de gradiente $\nabla u$ es inyectivo (específicamente, satisface una condición de inyectividad métrica $|\nabla u(x) - \nabla u(y)| \ge C_1 |x-y|$). Esto asegura la existencia de un mapa inverso Lipschitz $f: B \to \Omega$, donde $B = \nabla u(\Omega)$.
2. Transformada de Legendre y cambio de variables: El autor construye una función potencial $w(p) = p^\top f(p) - u(f(p))$ para el mapa inverso. Se introduce un cambio de variables suave y localmente uno a uno, que mapea el espacio del gradiente a un dominio $D$ parametrizado por $(\psi, t)$, donde $p = e^{-t}[\cos \psi, \sin \psi]^\top$. Aquí, $e^{-t}$ representa la magnitud del gradiente y $\psi$ su dirección.
3. Estructura cálórica: Se demuestra que la función transformada $h(\psi, t) = w(p(\psi, t))$ satisface la ecuación del calor $h_{\psi\psi} = h_t$. En consecuencia, la función original $u$, expresada en estas coordenadas, también es cálórica.
4. Análisis de líneas de flujo: La prueba utiliza la existencia de líneas de flujo ascendentes y descendentes máximas para funciones $\infty$-subarmónicas y $\infty$-superarmónicas para analizar el comportamiento del gradiente a lo largo de curvas donde su magnitud es no decreciente.
5. Expansión de Taylor y análisis nodal: Para establecer el límite de regularidad, el autor realiza una expansión de Taylor de la función cálórica $v$ (derivada de $u$) alrededor de puntos donde la derivada espacial $v_\psi$ se anula. Al analizar los polinomios del calor (por ejemplo, $r_3, r_4$) y sus dominios nodales, el autor demuestra que si $v_\psi = 0$, entonces $v_t \neq 0$. Esta no degeneración es crucial para las estimaciones posteriores.
6. Estimaciones de la función inversa: Utilizando la no degeneración del Hessiano del potencial $w$ en los puntos críticos de $v_\psi$, el autor deriva una expansión de tercer orden del mapa inverso $f$. Esto conduce a la estimación $|f(p+h) - f(p)| \ge C|h|^3$ localmente.

Contribuciones clave y resultados
El resultado principal es el Teorema 1.1, que establece:
Si $u$ es $\infty$-armónica en un conjunto abierto $\Omega \subseteq \mathbb{R}^2$ con $\nabla u \neq 0$, y si el gradiente satisface la condición de inyectividad métrica $|\nabla u(x) - \nabla u(y)| \ge C_1 |x-y|$, entonces localmente en $\Omega$, existe una constante $C_2$ tal que:
$$|\nabla u(x) - \nabla u(y)| \le C_2 |x-y|^{1/3}$$

El artículo proporciona dos ejemplos específicos para ilustrar la teoría:

1. El potencial $\infty$ en un cuadrado: Se muestra que la solución del problema de Dirichlet en un cuadrado con una fuente puntual tiene un gradiente invertible en un subcuadrado. La función cálórica asociada se construye explícitamente utilizando funciones Theta de Jacobi. El resultado confirma que el gradiente es exactamente $C^{1, 1/3}$ cerca de las diagonales (donde $v_\psi=0$) y real-analítica en otros lugares.
2. La solución de Aronsson: Se reexamina la clásica solución singular $u = \frac{3}{4}(x^{4/3} - y^{4/3})$. El análisis confirma que la falta de suavidad ocurre precisamente cuando la dirección del gradiente se alinea con los ejes ($v_\psi = 0$), y la regularidad derivada coincide con el comportamiento de Hölder $1/3$ conocido.

Significado y afirmaciones
El artículo afirma proporcionar una prueba de la continuidad de Hölder $1/3$ del gradiente para funciones $\infty$-armónicas en el plano, supeditada a la inyectividad del mapa de gradiente. El autor enfatiza que, si bien la inyectividad no es una condición necesaria (ya que existen soluciones suaves como planos y conos), la "estructura cálórica" a la que se accede mediante esta condición es suficiente para derivar el límite de regularidad óptimo.

El autor señala modestamente que la prueba se limita a la situación donde $\nabla u \neq 0$ y actualmente no incluye puntos críticos, aunque esto podría ser posible con un análisis adicional del límite $t \to \infty$. Además, el autor sugiere que la condición de inyectividad podría debilitarse a la mera inyectividad (sin la cota métrica), pero probar esto requeriría versiones mejoradas de los lemas de apoyo. El trabajo se apoya en la conexión entre la ecuación $\infty$-laplaciana y la ecuación del calor, un vínculo previamente observado por Aronsson, pero formalizado aquí para obtener estimaciones de regularidad específicas.