Full flexibility of the Monge-Ampère system in codimension $d_*-d+1$

Aquí presento un resumen técnico detallado del artículo "Full Flexibility of the Monge-Ampère System in Codimension $d^* - d + 1$" de Wentao Cao, Jonas Hirsch, Dominik Inauen y Marta Lewicka.

1. Planteamiento del Problema

El artículo aborda la flexibilidad completa (full flexibility) de soluciones de clase $C^{1,\alpha}$ para el sistema de Monge-Ampère en dimensiones arbitrarias $d$ y una codimensión específica $k$.

• El Sistema: Se busca una solución vectorial $v: \omega \subset \mathbb{R}^d \to \mathbb{R}^k$ que satisfaga una ecuación de tipo Monge-Ampère multidimensional (sistema (1.2) en el texto), que generaliza la ecuación clásica de curvatura prescrita.
• Formulación Débil: El problema se reformula como un sistema de Von Kármán (ecuación 1.4):
  $$\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w = A$$
  donde $v \in \mathbb{R}^k$, $w \in \mathbb{R}^d$ y $A$ es un campo de matrices simétricas dado.
• Contexto Geométrico: Este sistema está intrínsecamente ligado al problema de inmersión isométrica de una métrica Riemanniana $g$ en un espacio euclidiano $\mathbb{R}^{d+k}$ (ecuación 1.5). La flexibilidad de este sistema implica la existencia de inmersiónes isométricas $C^{1,\alpha}$ para métricas suaves, incluso cuando la regularidad de la métrica es baja.
• La Pregunta Central: ¿Hasta qué nivel de regularidad $\alpha$ y en qué codimensión $k$ se puede aproximar cualquier función continua por soluciones $C^{1,\alpha}$ de este sistema? Resultados anteriores (como en [24]) requerían una codimensión muy alta ($k \ge 2d^*$, donde $d^* = d(d+1)/2$ es la dimensión de Janet).

2. Metodología: Integración Convexa y Construcción de Etapas

Los autores emplean una técnica avanzada de integración convexa (convex integration), basada en el esquema de Nash-Kuiper, pero con innovaciones técnicas cruciales para reducir la codimensión requerida.

A. Construcción de Etapas (Stage Construction)

El núcleo del trabajo es el Teorema 1.3, que describe una "etapa" del algoritmo iterativo.

• Objetivo: Dada una solución aproximada $(v, w)$ con un "defecto" $D = A - (\frac{1}{2}(\nabla v)^T \nabla v + \text{sym}\nabla w)$, construir una nueva solución $(\tilde{v}, \tilde{w})$ que reduzca significativamente la magnitud del defecto $\|D\|_0$, a costa de un aumento controlado en las derivadas segundas.
• Descomposición del Defecto: Utilizan el Lema 2.2 para descomponer el defecto en una suma de defectos primitivos de rango uno de la forma $a^2 \eta \otimes \eta$.
• Cancelación de Defectos (Corrugaciones):
  1. Codimensión 1: Se utilizan oscilaciones en la primera dirección de codimensión para cancelar los defectos primitivos asociados a vectores $\eta_{1j}$. Se aplica una iteración de integración por partes (Lema 2.4) $N$ veces para reducir el orden de los términos de error.
  2. Codimensiones Restantes ($n = 2, \dots, \bar{d}$): Se cancelan secuencialmente los defectos restantes.
• Innovación Clave: La observación principal (Sección 1.2 y Paso 12 de la prueba) es que los términos de error generados por las derivadas segundas de las nuevas soluciones pueden reescribirse como sumas de términos que oscilan en direcciones fijas y que involucran solo derivadas de la solución inicial suavizada ($v_0$). Esto permite una descomposición y reducción adicional sin generar nuevos defectos de rango uno no manejables.

B. Algoritmo de Nash-Kuiper

Una vez establecida la construcción de una etapa (Teorema 1.3), se aplica iterativamente (Teorema 4.1).

• Se genera una secuencia de soluciones $(v_n, w_n)$ donde el defecto decae exponencialmente ($\sigma^{-nKN}$) mientras las derivadas segundas crecen ($\sigma^{n(dK+N)}$).
• Mediante interpolación en espacios de Hölder, se demuestra que la secuencia converge a una solución $C^{1,\alpha}$ si el exponente $\alpha$ satisface una condición que depende de la relación entre la tasa de crecimiento de las derivadas y la tasa de decaimiento del defecto.

3. Contribuciones Clave y Resultados Principales

A. Reducción de la Codimensión

El resultado principal (Teorema 1.1) establece la flexibilidad completa para una codimensión mucho menor que la conocida anteriormente:
$$k = \bar{d} = d^* - d + 1 = \frac{d(d+1)}{2} - d + 1$$
Anteriormente, la flexibilidad completa se conocía solo para $k \ge 2d^*$. Esta reducción es significativa, acercando el resultado a la dimensión mínima teórica necesaria para la inmersión isométrica local.

B. Rango de Regularidad Óptimo

Para cualquier exponente de Hölder $\alpha < 1$, el sistema es flexible. Específicamente, se demuestra que las soluciones $C^{1,\alpha}$ son densas en el espacio de funciones continuas $C^0$, siempre que:
$$\alpha < \min\left\{ \frac{r+\beta}{2}, 1 \right\}$$
donde $r+\beta$ es la regularidad de la matriz dada $A$. Esto generaliza resultados previos para $d=2, k=2$ y $d=2, k \ge 2$.

C. Extensiones a Inmersiones Isométricas

El mismo esquema de prueba se extiende al problema de inmersión isométrica (Teorema 5.1):

• Se prueba la existencia local de inmersiones isométricas $C^{1,1-\epsilon}$ de métricas Riemannianas $C^2$ en espacios euclídeos de dimensión $d^* + 1$.
• Mediante técnicas de [12], el resultado se extiende a variedades compactas en codimensiones $k \ge (d+1)d^* - d + 1$.

4. Significado e Impacto

1. Avance en el Problema de Inmersión Isométrica: Este trabajo resuelve una parte fundamental del problema de inmersión isométrica de baja regularidad. Demuestra que la rigidez de las métricas Riemannianas desaparece en codimensiones mucho más bajas de lo que se creía necesario para soluciones de clase $C^1$ o $C^{1,\alpha}$.
2. Optimización de la Integración Convexa: La técnica desarrollada para manejar las derivadas segundas y los términos de error en múltiples codimensiones representa un refinamiento sustancial del método de Nash-Kuiper. La capacidad de "absorber" errores mediante una estructura de descomposición más fina permite reducir la dimensión del espacio objetivo.
3. Conexión con Ecuaciones de Fluidos: Al igual que la integración convexa ha sido crucial para la conjetura de Onsager en las ecuaciones de Euler, este trabajo refuerza la versatilidad de estas técnicas en problemas geométricos no lineales y sistemas de ecuaciones en derivadas parciales (EDP) sobredeterminados.
4. Generalización: El resultado no está limitado a la dimensión 2, sino que es válido para cualquier dimensión $d \ge 2$, proporcionando una comprensión unificada de la flexibilidad en dimensiones superiores.

En resumen, el artículo demuestra que el sistema de Monge-Ampère y las inmersiones isométricas poseen una flexibilidad completa en una codimensión casi óptima ($d^* - d + 1$) para cualquier regularidad Hölderiana $\alpha < 1$, cerrando una brecha importante entre los resultados conocidos en dimensiones bajas y las expectativas teóricas para dimensiones arbitrarias.