Bubbling of almost critical points of anisotropic isoperimetric problems with degenerating ellipticity

Aquí presento un resumen técnico detallado del artículo "Bubbling of almost critical points of anisotropic isoperimetric problems with degenerating ellipticity" de Mario Santilli, estructurado según los puntos solicitados.

1. Planteamiento del Problema

El trabajo aborda un problema fundamental en el cálculo de variaciones y la geometría de conjuntos de perímetro finito: la rigidez de los puntos de acumulación $L^1$ de secuencias de conjuntos que son "casi críticos" para funcionales de energía superficial anisotrópica.

• Contexto: Se considera una secuencia de normas uniformemente convexas $\phi_h$ en $\mathbb{R}^{n+1}$ que convergen a una norma arbitraria $\phi$ (que puede ser no suave o cristalina).
• Objeto de estudio: Secuencias de conjuntos $\{E_h\}$ de perímetro finito, acotados y con volumen fijo, tales que su curvatura media anisotrópica $\phi_h$-curvatura ($H_{\phi_h}$) converge a una constante $\lambda$ en la norma $L^n$.
• La Pregunta (BP): ¿Son los únicos puntos de acumulación $L^1$ de tales secuencias uniones finitas de formas de Wulff $\phi$ (posiblemente tangentes entre sí)?
• Desafío Previo: Estudios anteriores (como [DMMN18]) requerían hipótesis adicionales fuertes, como:
  1. Convexidad media uniforme (curvatura acotada inferiormente por una constante positiva).
  2. Una tasa de convergencia de la curvatura a la constante que fuera más rápida que la tasa de degeneración de las constantes de elipticidad de las normas $\phi_h$.
  3. Uso de desviaciones en $L^2$.

El objetivo de Santilli es resolver este problema sin hipótesis adicionales, demostrando que la rigidez se mantiene incluso cuando las normas degeneran (pierden uniformidad convexa) y la convergencia de la curvatura es solo en $L^n$.

2. Metodología

El autor emplea un enfoque basado en geometría integral y teoría de varifolds, alejándose de los métodos potenciales utilizados en trabajos previos.

• Herramientas Principales:

  • Varifolds y Perímetro Finito: El trabajo se formula en el contexto de conjuntos de perímetro finito (no necesariamente suaves), utilizando la curvatura media anisotrópica distribucional. Esto permite manejar límites que pueden tener singularidades o estructuras no suaves.
  • Bundle Normal Generalizado: Se analiza el "haz normal anisotrópico generalizado" y las "curvaturas principales anisotrópicas generalizadas" asociadas a la frontera de conjuntos de perímetro finito. Esto es crucial porque la teoría euclidiana clásica de curvatura no se aplica directamente a superficies no suaves o normas no diferenciables.
  • Fórmula de Desintegración: Se utiliza una fórmula de desintegración de volumen (inspirada en [HS22] y [MR91]) que relaciona el volumen de un conjunto con una integral sobre su haz normal, involucrando las curvaturas principales.
  • Estimaciones de Volumen: El núcleo técnico es el Lema 4.1, que establece estimaciones precisas sobre el volumen de los conjuntos de nivel de la función de distancia anisotrópica ($E^\phi_{\ge r}(\Omega)$) en función de la desviación de la curvatura media de la constante $\lambda$.

• Estrategia de la Prueba:

  1. Se demuestra que si la curvatura media está cerca de una constante en $L^n$, el volumen del conjunto y su perímetro anisotrópico están fuertemente acotados por las propiedades de las formas de Wulff.
  2. Se utiliza la convergencia de las normas $\phi_h \to \phi$ y la compacidad de los conjuntos de perímetro finito para extraer un límite $L^1$.
  3. Se prueba que el límite debe ser una unión de formas de Wulff mediante un argumento de conteo de puntos en el conjunto de nivel de la función de distancia límite, demostrando que estos puntos deben estar suficientemente separados (distancia $\ge 2r$ en la norma dual) para no solaparse, lo que implica una estructura de "burbujeo" (bubbling) donde las burbujas son formas de Wulff disjuntas o tangentes.

3. Contribuciones Clave

• Eliminación de Hipótesis Restritivas: A diferencia de [DMMN18], este trabajo elimina la necesidad de convexidad media uniforme y de tasas de convergencia aceleradas. La solución es incondicional.
• Cambio de Normas ($L^2$ a $L^n$): El resultado muestra que reemplazar las desviaciones $L^2$ por desviaciones $L^n$ es suficiente para obtener una solución completa. Esto es óptimo en términos de dimensión, ya que la curvatura media es una cantidad escalar en una variedad de dimensión $n$.
• Generalidad de la Regularidad: El teorema principal (Teorema 4.3) se aplica a secuencias de conjuntos de perímetro finito, no solo a dominios suaves ($C^2$). Esto generaliza resultados previos como [DM19] y [DRKS20] al contexto anisotrópico y no suave.
• Degeneración de la Elípticidad: El método maneja explícitamente el caso donde las normas $\phi_h$ son uniformemente convexas pero convergen a una norma límite $\phi$ que puede no serlo (ej. normas cristalinas), un escenario donde típicamente ocurre pérdida de perímetro.

4. Resultados Principales

Teorema 4.3 (Resultado Central):
Dada una secuencia de normas uniformemente convexas $\phi_h \to \phi$ y una secuencia de conjuntos de perímetro finito $\{E_h\}$ con volumen acotado y curvatura media $\phi_h$-curvatura convergiendo a $\lambda$ en $L^n(\partial^* E_h)$, se cumple que:

1. Estructura del Límite: Existe un conjunto finito $C \subset \mathbb{R}^{n+1}$ (con cardinalidad finita) tal que, salvo traslaciones y extracción de subsucesiones, $E_h$ converge en medida de Lebesgue ($L^1$) a un conjunto $E$ dado por:
   $$E = \bigcup_{c \in C} (c + \text{int}(W^\phi_r))$$
   donde $W^\phi_r$ es la forma de Wulff de radio $r = n/\lambda$.
2. Separación: Los centros de las formas de Wulff en la unión satisfacen $\phi^\circ(c_i - c_j) \ge 2r$ para $i \neq j$. Esto implica que las formas de Wulff son disjuntas o se tocan tangencialmente, pero no se superponen en volumen.
3. Convergencia de Perímetro: El perímetro anisotrópico converge a la suma de los perímetros de las formas de Wulff individuales:
   $$\lim_{h \to \infty} P_{\phi_h}(E_h) = \text{card}(C) \cdot P_\phi(W^\phi_r)$$
   Esto confirma que no hay pérdida de perímetro en el límite, a pesar de la degeneración de la elipticidad de las normas.

Corolario 1.1:
Para dominios suaves, si la curvatura media $\phi_h$ converge a una constante en $L^n$, el límite es una unión finita de formas de Wulff $\phi$ de radio $r$, y el perímetro converge a la suma de los perímetros de estas formas.

5. Significado e Impacto

• Resolución de una Conjetura Abierta: Resuelve completamente la pregunta (BP) planteada en [DMMN18], demostrando que la estructura de las formas de Wulff es robusta incluso bajo perturbaciones severas de la anisotropía y sin condiciones de convexidad estricta en el límite.
• Aplicación a Flujos de Área: El resultado es altamente relevante para el estudio de flujos de volumen preservado anisotrópicos. Se sabe que tales flujos pueden desarrollar singularidades (burbujas). Este teorema proporciona la caracterización rigurosa de la estructura de estos límites, indicando que, en el régimen de "casi crítico", la solución se descompone en una colección de formas de Wulff estables.
• Avance en Geometría Anisotrópica No Suave: Al trabajar con conjuntos de perímetro finito y curvaturas distribucionales, el artículo avanza la comprensión de la geometría diferencial en contextos donde las herramientas clásicas (como la derivada segunda de la norma) no están definidas, utilizando en su lugar la teoría de varifolds y haces normales generalizados.
• Optimalidad Dimensional: El uso de la norma $L^n$ sugiere que este es el umbral natural para la rigidez en dimensión $n$, alineándose con resultados de regularidad en problemas isoperimétricos.

En resumen, el artículo de Santilli establece un marco robusto para entender la estabilidad y la estructura de los límites de configuraciones de energía anisotrópica, demostrando que la rigidez de las formas de Wulff es un fenómeno universal que persiste incluso cuando la geometría subyacente degenera.