Stability of p-area minimizing surfaces in the Heisenberg group

Resumen Técnico: Estabilidad de Superficies Minimizador de Área-p en el Grupo de Heisenberg

Planteamiento del Problema
Este artículo investiga la estabilidad cuantitativa de los minimizadores de funcionales de área-p ponderada asociados a superficies de curvatura media-p prescrita en el grupo de Heisenberg $\mathbb{H}^n$. Si bien la existencia y unicidad de tales minimizadores están bien establecidas en la literatura (notablemente para el caso de superficie mínima $H=0$ y el caso de curvatura prescrita $H \neq 0$), el comportamiento de estos minimizadores bajo perturbaciones de la función de curvatura media $H$ permanece en gran medida inexplorado. Específicamente, los autores abordan la falta de estimaciones de estabilidad cuantitativa para el régimen de $H$ no nulo, donde el acoplamiento entre la geometría y el término potencial $Hu$ introduce desafíos analíticos significativos, incluyendo la degeneración a lo largo de conjuntos característicos y la ruptura de la homogeneidad.

Metodología
Los autores emplean un marco de dualidad Rockafellar–Fenchel para analizar el problema variacional. El funcional principal bajo consideración es:
$$F(u) = \int_{\Omega} (a|\nabla u - X^*| + Hu) \, dx$$
donde $X^*$ codifica la rotación intrínseca de las direcciones horizontales, $a$ es una función de peso positiva, y $\Omega \subset \mathbb{R}^{2n}$.

El núcleo de la metodología implica:

1. Formulación Dual: Utilizar la dualidad para identificar un campo vectorial único subyacente $J$ asociado a cualquier minimizador $u$. Este campo satisface $|J| \leq a$ y se alinea con la dirección del gradiente horizontal $\nabla u - X^*$ en casi todo punto.
2. Estabilidad del Campo Vectorial: Demostrar que el campo vectorial $J$ es estable bajo perturbaciones de $H$. Al establecer cotas sobre la diferencia entre los campos vectoriales $J$ y $\tilde{J}$ correspondientes a curvaturas $H$ y $\tilde{H}$, los autores derivan un control sobre la dirección del gradiente horizontal.
3. Suposiciones Geométricas sobre Niveles: Para extender la estabilidad desde el campo vectorial hacia los propios minimizadores, los autores imponen hipótesis estructurales sobre los conjuntos de nivel de los minimizadores.
   • En dimensión $n=2$, asumen que la longitud de los conjuntos de nivel está uniformemente acotada y que casi todo conjunto de nivel alcanza el borde.
   • En dimensión $n=3$, asumen que los conjuntos de nivel pueden ser foliados en curvas unidimensionales con propiedades específicas de regularidad y acotamiento.
4. Regularidad y Fórmulas de Coárea: Las demostraciones utilizan la fórmula de coárea, integración por partes para funciones BV y estimaciones de regularidad elíptica (asumiendo suficiente suavidad de los datos) para derivar estimaciones de estabilidad en $L^1$ y $W^{1,1}$.

Contribuciones y Resultados Clave
El artículo establece la primera teoría de estabilidad cuantitativa para gráficos minimizadores de área-p con curvatura media-p prescrita no nula, incluso en el caso no ponderado ($a \equiv 1$). Los resultados específicos incluyen:

• Estabilidad del Campo Vectorial: Los autores demuestran que el campo vectorial subyacente $J$ es estable en la norma $L^1$ con respecto a perturbaciones en $H$. Específicamente, $\|J - \tilde{J}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$. Esto implica que la dirección del gradiente horizontal está controlada cuantitativamente por la perturbación de la curvatura media.
• Estabilidad $L^1$ de Minimizadores: Bajo suposiciones geométricas naturales sobre los conjuntos de nivel (longitud acotada en 2D, foliación en 3D), los autores establecen estabilidad $L^1$ para minimizadores admisibles:
  $$\|u - \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/2}$$
• Estabilidad $W^{1,1}$: Bajo hipótesis adicionales de regularidad (requiriendo borde $C^2$, campos vectoriales $C^2$ y conjuntos de nivel "bien estructurados"), el artículo deriva estimaciones de estabilidad $W^{1,1}$ para los gradientes:
  $$\|\nabla u - \nabla \tilde{u}\|_{L^1(\Omega)} \leq C \|H - \tilde{H}\|_{L^\infty(\Omega)}^{1/4}$$
  En consecuencia, también se deriva estabilidad para la función de peso $\sigma$ (relacionada con la magnitud del gradiente) con la misma tasa.
• Validación Numérica: Los resultados teóricos se ilustran mediante simulaciones numéricas utilizando un algoritmo de Bregman dividido alternado. Los autores construyen un caso de prueba con una solución exacta conocida e introducen ruido estocástico a la curvatura media $H$. Las simulaciones demuestran que las aproximaciones numéricas permanecen robustas, con errores relativos $L^2$ que aumentan predeciblemente con el nivel de ruido, respaldando así las afirmaciones teóricas de estabilidad.

Significado
Los autores afirman que estos resultados proporcionan una comprensión más refinada de la estructura de los gráficos de curvatura media-p pseudohermíticos. Al extender la teoría más allá de la mera existencia y unicidad para incluir estabilidad cuantitativa, el trabajo aborda una brecha crítica en el análisis de superficies mínimas subriemannianas. La identificación del campo vectorial único subyacente $J$ sirve como una herramienta fundamental para este análisis. Los resultados se presentan como nuevos incluso en el caso especial donde la función de peso es constante, ofreciendo tasas explícitas de convergencia en términos de la perturbación de la curvatura media. La inclusión de simulaciones numéricas sirve para ilustrar la robustez de estos hallazgos teóricos en presencia de perturbaciones de los datos.