Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic First Variation Part II

A continuación presento un resumen técnico detallado del artículo "Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic First Variation Part II" de Sławomir Kolasiński y Mario Santilli.

1. Contexto y Problema

El artículo se sitúa en el campo del cálculo de variaciones y la teoría geométrica de la medida, específicamente en el estudio de varifolds (generalizaciones de variedades que permiten multiplicidades y singularidades) de codimensión uno en $\mathbb{R}^{n+1}$.

• Antecedentes: En un trabajo previo ([KS25]), los autores demostraron la planitud cuadrática y la rectificabilidad $\mathcal{C}^2$ para el soporte de varifolds integrales con curvatura media anisotrópica acotada, bajo la hipótesis de que el soporte tiene medida de Hausdorff $\mathcal{H}^n$ localmente finita.
• El Problema Actual: Este segundo artículo explora las consecuencias fundamentales de dicho resultado. El objetivo principal es establecer dos propiedades críticas en el contexto anisotrópico (donde la energía no es simplemente el área euclidiana, sino una integral definida por una norma $\phi$):
  1. La ortogonalidad del vector de curvatura media anisotrópico respecto al plano tangente aproximado.
  2. La localidad del vector de curvatura media (es decir, que depende solo de la geometría local de la variedad).

En el caso isotrópico (euclidiano), el teorema de ortogonalidad fue probado por Brakke ([Bra78]) utilizando la estructura euclidiana, en particular el teorema de Pitágoras. En el caso anisotrópico, la falta de una fórmula de monotonicidad clásica y la dependencia de la estructura euclidiana en las estimaciones de Brakke hacen que la extensión directa sea imposible.

2. Metodología

Los autores desarrollan una metodología sofisticada que combina técnicas de análisis geométrico, teoría de varifolds y un truco de "enderezamiento" local de la estructura anisotrópica.

• Enderezamiento Local (Straightening): La idea central es que, para probar la ortogonalidad en un punto $b$, no es necesario trabajar con la métrica anisotrópica global. En su lugar, se utiliza un difeomorfismo lineal $\varphi_T$ (dependiente del plano tangente aproximado $T$ en $b$) para "enderezar" la estructura anisotrópica en ese punto específico.

  • Se empuja el varifold $V$ mediante $\varphi_T$ para obtener un nuevo varifold $W$.
  • Se transforma el integrando $F$ (asociado a la norma $\phi$) en un nuevo integrando $G$ mediante la tracción por $\varphi_T$.
  • En el sistema transformado, la estructura en el punto $b$ se comporta de manera más manejable, permitiendo adaptar las estimaciones de Brakke.

• Análisis de la Primera Variación: Se estudia detalladamente cómo cambia la primera variación de un varifold bajo un empuje (push-forward). Se prueban lemas clave (Lema 4.2 y 4.3) que relacionan la curvatura media del varifold original con la del empujado, asegurando que los puntos de Lebesgue y las densidades se comportan correctamente bajo la transformación.

• Descomposición de la Primera Variación: En la prueba del Teorema de Ortogonalidad (Teorema 5.2), la primera variación se descompone en varios términos ($a_0$ a $a_5$). Se demuestra que, bajo las hipótesis de planitud cuadrática y regularidad, todos los términos de error tienden a cero a una velocidad adecuada cuando el radio de la bola tiende a cero, excepto el término principal que revela la ortogonalidad.

• Uso de la Regularidad Previa: La demostración depende crucialmente del teorema de regularidad de [KS25], que garantiza que la capa de densidad unitaria del varifold es localmente un gráfico de una función $\mathcal{C}^{1,\alpha}$. Esto permite controlar el "conjunto malo" (donde la aproximación Lipschitz falla), un problema que en el caso anisotrópico general es mucho más difícil de manejar que en el euclidiano.

3. Contribuciones Clave

1. Generalización del Teorema de Ortogonalidad de Brakke: Se extiende el resultado clásico de Brakke sobre la ortogonalidad del vector de curvatura media al contexto anisotrópico. Esto es fundamental porque, en geometría anisotrópica, la curvatura media no es necesariamente perpendicular al plano tangente si no se cumplen ciertas condiciones de regularidad.
2. Prueba de la Localidad de la Curvatura Media: Se demuestra que el vector de curvatura media anisotrópico es local. Es decir, si un varifold coincide con una variedad suave $\mathcal{C}^2$ en una vecindad, sus vectores de curvatura media coinciden. Esto se logra adaptando las ideas de Ambrosio y Masnou, pero superando las dificultades técnicas propias de la anisotropía.
3. Manejo de la Estructura Anisotrópica: Se introduce una técnica robusta para tratar con la falta de simetría euclidiana mediante transformaciones lineales locales que simplifican el integrando en puntos específicos, evitando la necesidad de fórmulas de monotonicidad globales que no existen en el caso anisotrópico general.

4. Resultados Principales

• Teorema 1.1 (Ortogonalidad): Sea $V$ un varifold integral de dimensión $n$ en $\Omega \subseteq \mathbb{R}^{n+1}$ con primera variación anisotrópica acotada ($\|\delta_F V\| \leq H \|V\|$) y densidad absoluta respecto a la medida de soporte. Sea $Q$ el conjunto de puntos de densidad unitaria. Entonces, para $\mathcal{H}^n$-casi todo punto $a \in Q \cap M$ (donde $M$ es una hipersuperficie $\mathcal{C}^2$ embebida), el vector de curvatura media anisotrópico $h_F(V, a)$ es perpendicular al plano tangente de $M$ en $a$.

  • Nota: La restricción a la capa de densidad unitaria es necesaria debido a la dificultad de obtener estimaciones de decaimiento rápido en puntos de mayor densidad en el caso anisotrópico (donde falta la fórmula de monotonicidad).

• Teorema 5.2 (Ortogonalidad General): Bajo hipótesis de planitud cuadrática y decaimiento de exceso de inclinación, se demuestra que el vector de curvatura media es ortogonal al plano tangente aproximado para casi todo punto del varifold.

• Teorema 5.6 (Localidad): Si $V$ es un varifold integral y $M$ es una subvariedad $\mathcal{C}^2$, entonces en casi todos los puntos donde $V$ y $M$ coinciden (en términos de densidad y plano tangente), sus vectores de curvatura media anisotrópica son idénticos: $h_F(V, a) = h_F(M, a)$.

5. Significado e Impacto

Este trabajo es un avance significativo en la teoría de superficies mínimas y de curvatura media en entornos anisotrópicos (como en la teoría de cristales líquidos, crecimiento de cristales o materiales compuestos).

• Puente entre Regularidad y Estructura: Conecta la regularidad $\mathcal{C}^{1,\alpha}$ (probada en la Parte I) con la estructura diferencial de segundo orden (ortogonalidad y localidad). Sin la ortogonalidad, no se puede definir una curvatura media intrínseca bien comportada.
• Superación de Obstáculos Anisotrópicos: Demuestra que, aunque las herramientas clásicas (como la fórmula de monotonicidad) fallan en el caso anisotrópico, es posible recuperar resultados estructurales profundos mediante un análisis local fino y transformaciones geométricas inteligentes.
• Fundamento para Futuras Investigaciones: Establece las bases para el estudio de flujos de curvatura media anisotrópica, problemas de evolución de interfaces y la regularidad de soluciones a ecuaciones elípticas no lineales en contextos geométricos no euclidianos.

En resumen, el artículo cierra una brecha importante en la teoría de varifolds anisotrópicos, demostrando que, bajo condiciones de regularidad adecuadas, el comportamiento de la curvatura media recupera las propiedades geométricas intuitivas (ortogonalidad y localidad) que se esperan en el caso isotrópico.