Michael-Simon inequality for anisotropic energies close to the area via multilinear Kakeya-type bounds

Resumen Técnico: Desigualdad de Michael–Simon para Energías Anisotrópicas

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría geométrica de la medida y el cálculo de variaciones: la extensión de la desigualdad de Michael–Simon a funcionales de energía anisotrópicas.

• Contexto Isotrópico: Para el área clásica (isotrópica), la desigualdad de Michael–Simon es una herramienta crucial que proporciona cotas de densidad y compacidad para varifolios. Su validez depende fuertemente de la fórmula de monotonía, la cual asegura que la densidad de un varifold estacionario es no decreciente con el radio.
• El Problema Anisotrópico: Cuando se considera un integrando anisotrópico $F: Gr_k(\mathbb{R}^n) \to (0, \infty)$, la fórmula de monotonía clásica falla (a menos que $F$ sea esencialmente el área isotrópica). Esto rompe muchas herramientas estándar de regularidad y compacidad.
• La Pregunta Central: ¿Bajo qué condiciones sobre el integrando $F$ se mantiene la desigualdad de Michael–Simon? Específicamente, ¿existe una constante $C$ tal que para un varifold rectifiable $V$ con densidad $\Theta \ge \theta_0 > 0$ y variación primera finita, se cumpla:
  $$|V|(\mathbb{R}^n)^{k-1} \le C \frac{1}{\theta_0} |\delta_F V|(\mathbb{R}^n)^k$$
  Donde $\delta_F V$ es la variación primera asociada a $F$.

2. Metodología y Enfoque

Los autores desarrollan una prueba que combina ideas clásicas de Frederick J. Almgren (de un manuscrito inédito) con nuevas herramientas analíticas modernas.

• Reducción a Dimensiones Bajas: El enfoque principal se centra en el caso $n=3$ y $k=2$ (superficies en $\mathbb{R}^3$), donde $F$ es un integrando convexo y suficientemente cercano al área isotrópica en la topología $C^1$.
• Nuevas Desigualdades Funcionales: El núcleo de la innovación es la demostración de nuevas desigualdades no lineales para campos vectoriales en el plano ($\mathbb{R}^2$). Estas desigualdades actúan como una versión cuantitativa del teorema de rango uno de Alberti.
• Técnicas de Proyección: El argumento transforma el problema de la variedad 3D en un problema de campos vectoriales en 2D mediante proyecciones, aprovechando la estructura de la variación primera.
• Condición Atómica (AC): Para resultados generales en dimensiones arbitrarias, los autores utilizan la "Condición Atómica" introducida previamente, que garantiza la rectificabilidad de los varifolios bajo ciertas condiciones de densidad.

3. Contribuciones Clave

A. Nuevas Desigualdades para Campos Vectoriales (Teoremas 1.6 y 1.7)
Los autores prueban desigualdades fundamentales para campos vectoriales $S, T \in W^{1,1}(\mathbb{R}^2, \mathbb{R}^2)$.

• Versión Simplificada (Teorema 1.6): Si $S_x, T_y \ge 0$ y $\det(S, T) \ge 0$, entonces:
  $$\int \det(S, T) \le \frac{1}{4} \left(\int |\text{div } S|\right) \left(\int |\text{div } T|\right)$$
  Esta es una versión funcional de la desigualdad multilinear de Kakeya en el plano.
• Versión General (Teorema 1.7): Se elimina la restricción de que el determinante sea no negativo. Se definen componentes positivas y negativas ($S^P, S^N$, etc.) y se demuestra una cota que involucra la norma $L^2$ de una función de corte $\chi$ y las divergencias.
  $$\int \chi \min\{S^P, T^P\} \le C \|\chi\|_{L^2} (\dots) + C' \int (S^N + T^N)$$
  Esta desigualdad es una versión cuantitativa del teorema de rango uno de Alberti, mostrando que si las partes "negativas" son pequeñas, las partes "positivas" no pueden superponerse demasiado.

B. Prueba de la Desigualdad de Michael–Simon para $F$ Cercano al Área (Teorema 1.3)

• Se demuestra que si $F$ es convexo y $\|F|_{S^2} - 1\|_{C^1}$ es suficientemente pequeño, la desigualdad de Michael–Simon se cumple en $\mathbb{R}^3$.
• Mecanismo: Se utiliza un cambio de coordenadas lineal (Proposición 4.1) para asegurar que las entradas diagonales de la matriz asociada a la variación primera sean no negativas. Luego, se aplican las desigualdades de campos vectoriales del Teorema 3.1 para acotar la masa del varifold en términos de su variación primera.

C. Resultados para Normas $\ell^p$ y Condiciones Generales (Teoremas 1.5 y 1.9)

• Normas $\ell^p$: Se extiende el resultado a integrandos de la forma $F(\nu) = (|\nu_x|^p + |\nu_y|^p + |\nu_z|^p)^{1/p}$ para $p \in (1, \infty)$, demostrando que la desigualdad se cumple bajo ciertas condiciones de simetría y convexidad.
• Equivalencia con Compacidad (Teorema 1.9): Se establece una equivalencia fundamental: la validez de la desigualdad de Michael–Simon es equivalente a la compacidad de los varifolios rectifiables bajo la condición de densidad positiva. Si la desigualdad falla, existe una secuencia de varifolios que converge a una medida de Lebesgue (concentración difusa), violando la rectificabilidad.

4. Resultados Principales

1. Teorema 1.3: Para $n=3, k=2$, si $F$ es convexo y cercano al área isotrópica en $C^1$, entonces:
   $$|V|(\mathbb{R}^3) \le C(F) H^2(\{\theta > 0\})^{1/2} |\delta_F V|(\mathbb{R}^3)$$
   Esto implica la compacidad de varifolios rectifiables y la continuidad superior del soporte.

2. Teorema 1.4 (Regularidad): Como consecuencia directa, se aplica el teorema de regularidad de Allard en el contexto anisotrópico. Si un varifold entero-rectifiable tiene densidad cercana a 1 y variación primera pequeña, es una gráfica $C^{1,\alpha}$ sobre un plano.

3. Teorema 1.5: La desigualdad se cumple para integrandos $\ell^p$ ($p \in (1, \infty)$) que son estrictamente convexos y pares en cada componente, cumpliendo una condición técnica sobre las proyecciones del gradiente.

4. Corolario 1.12: Bajo la validez de la desigualdad, se obtienen cotas inferiores de densidad ($|V|(B_r) \ge c r^k$) cuando la variación primera está en $L^p$ ($p>k$), y la convergencia de los soportes en el sentido de Hausdorff.

5. Significado e Impacto

• Superación de la Falta de Monotonía: El trabajo demuestra que, aunque la fórmula de monotonía falla en el caso anisotrópico general, la desigualdad de Michael–Simon (una cota más débil pero robusta) puede recuperarse para una clase amplia de energías cercanas al área.
• Herramientas Analíticas Nuevas: La introducción de las desigualdades de campos vectoriales (Teorema 3.1) y su conexión con el teorema de rango uno de Alberti ofrece un nuevo marco metodológico que podría aplicarse a otros problemas de regularidad en geometría anisotrópica.
• Fundamentos de Compacidad: Al vincular la desigualdad de Michael–Simon con la compacidad de varifolios, el artículo clarifica las condiciones necesarias para que la teoría de varifolios funcione en entornos anisotrópicos, evitando fenómenos de "concentración difusa" donde la estructura geométrica se pierde en el límite.
• Simplificación de Almgren: El artículo logra simplificar significativamente la prueba original (no publicada) de Frederick Almgren, haciendo el resultado más accesible y generalizable mediante el uso de técnicas de análisis funcional moderno.

En resumen, este artículo es un avance significativo en la teoría de superficies mínimas anisotrópicas, proporcionando las herramientas analíticas necesarias para establecer resultados de compacidad y regularidad en ausencia de la fórmula de monotonía clásica.