Minimality of free-boundary axial hyperplanes in high dimensional circular cones via calibration

A continuación presento un resumen técnico detallado del artículo "Minimalidad de hiperplanos axiales de frontera libre en conos circulares de alta dimensión mediante calibración" de Giacomo Vianello.

1. Planteamiento del Problema

El artículo aborda el problema de la regularidad de la frontera libre en el contexto de la minimización del perímetro relativo dentro de dominios no suaves, específicamente conos circulares en dimensiones altas.

• Contexto Físico/Matemático: Se considera un líquido en un recipiente $\Omega \subset \mathbb{R}^{n+1}$ que minimiza un funcional de energía libre (perímetro relativo) bajo una restricción de volumen. En el caso isotrópico con coeficiente de adhesión $\gamma = 0$, esto equivale a minimizar el perímetro relativo $P(E; \Omega)$.
• El Objeto de Estudio: Se analiza la intersección de un cono circular $\Omega_\lambda$ (definido por un ángulo de apertura $\alpha$) con un hiperplano axial $H_\lambda$ (un plano que contiene el eje del cono).
• La Pregunta Central: ¿Es este hiperplano axial un minimizador de área bajo variaciones de frontera libre dentro del cono?
• El Conflicto Teórico:
  • En dimensiones bajas ($n=2$), se sabe que el hiperplano es inestable.
  • En trabajos previos del autor con G.P. Leonardi [28], se demostró un Teorema de "Salto de Vértice" (Vertex-skipping) para $n=3$ en dominios convexos, que implica que la frontera de un minimizador casi no puede contener singularidades aisladas (vértices) del dominio.
  • Sin embargo, en el trabajo [27], se mostró que para $n \ge 3$ y conos suficientemente anchos, el hiperplano axial es estable (segundo orden), lo que ya sugería una contradicción potencial con el teorema de salto de vértice en dimensiones superiores.
  • Objetivo: Determinar si, para $n \ge 4$, la estabilidad implica minimalidad (minimización global), lo cual refutaría la validez del Teorema de Salto de Vértice en dimensiones altas.

2. Metodología: El Método de Calibración Adaptado

La prueba se basa en una adaptación del método de calibración clásico (introducido por Bombieri, De Giorgi y Giusti) al contexto de frontera libre.

• Idea Central: Construir un campo vectorial "calibrante" $\mathbf{Z}$ definido en el interior del cono que satisfaga ciertas propiedades geométricas y analíticas. Si tal campo existe, prueba que la superficie dada es un minimizador global.
• Requisitos del Campo $\mathbf{Z}$:
  1. Divergencia nula: $\text{div } \mathbf{Z} = 0$ en el dominio (excepto en un conjunto de dimensión 2 donde se requiere una aproximación).
  2. Norma acotada: $|\mathbf{Z}| \le 1$ en todo el dominio.
  3. Coincidencia en la superficie: $\mathbf{Z} = \mathbf{e}_1$ (el vector normal al hiperplano) sobre la superficie candidata $H_\lambda$.
  4. Condición de Frontera Libre: $\mathbf{Z}$ debe ser tangente a la pared del cono $\partial \Omega_\lambda$ (específicamente en $S_\lambda = \partial \Omega_\lambda \setminus \{0\}$). Esta es la adaptación clave: en lugar de ser normal a la frontera, debe ser tangente para que el término de borde en el Teorema de la Divergencia se anule.

Estrategia de Construcción (Dos Pasos):

1. Calibración en la superficie del cono ($S_\lambda$): Primero se construye un campo vectorial $\mathbf{Y}$ definido en la superficie del cono que sea divergente libre respecto a la métrica inducida, tangente a la superficie, y que coincida con $\mathbf{e}_1$ en la intersección $S_\lambda \cap H_\lambda$. Esto reduce el problema a resolver una desigualdad diferencial para una función escalar $h(u)$, donde $u$ es una coordenada angular.
2. Extensión al interior: Se extiende $\mathbf{Y}$ al interior del cono $\Omega_\lambda$ mediante proyección vertical. Debido a la estructura métrica específica del cono, esta extensión preserva la propiedad de divergencia nula.

3. Resultados Principales

El resultado central se formaliza en el Teorema 1.1:

• Condición de Dimensionalidad: El resultado es válido para dimensiones $n \ge 4$.
• Umbral de Apertura: Existe un umbral crítico $\bar{\lambda}(n)$ (relacionado con el ángulo de apertura $\alpha$) dado por:
  $$\bar{\lambda}(n) = \frac{1}{2} \frac{n-3}{\sqrt{n-2}}$$
• Conclusión: Si $0 < \lambda \le \bar{\lambda}(n)$ (es decir, si el cono es lo suficientemente ancho, $\alpha \ge \bar{\alpha}(n)$), entonces el hiperplano axial $H_\lambda$ es un minimizador de área con respecto a variaciones de frontera libre dentro del cono.
  $$P(E; \Omega_\lambda \cap B_R) \le P(F; \Omega_\lambda \cap B_R)$$
  para cualquier conjunto $F$ con perímetro finito localmente.

Caso Límite $n=3$:
El autor señala que para $n=3$, el hiperplano es estable (según [27]), pero el argumento de calibración falla (la desigualdad diferencial no tiene solución adecuada), por lo que la minimalidad global no se garantiza con este método. Esto deja $n=3$ como un caso límite abierto o diferente.

4. Contribuciones Clave y Significado

1. Refutación del Teorema de Salto de Vértice en Alta Dimensión:
   Este es el hallazgo más significativo. El trabajo demuestra que el Teorema de Salto de Vértice (que afirma que los minimizadores no pueden tener singularidades en los vértices del dominio) falla para $n \ge 4$. En un cono suficientemente ancho, el minimizador (el hiperplano) toca el vértice del cono, creando una singularidad en la frontera libre.

2. Límite de la Regularidad de la Frontera:
   El resultado sugiere que el límite de dimensión para el conjunto singular de la frontera libre, establecido previamente en trabajos como [10] ($\dim_H(\Sigma \cap \partial \Omega) \le n-3$), no puede mejorarse más allá de $n-4$ en dominios no suaves.

   • En el caso $n=4$, el resultado implica que el conjunto singular en la frontera es exactamente el vértice $\{0\}$, lo que confirma que la dimensión del conjunto singular puede alcanzar $n-4$ (en este caso, 0).

3. Avance en el Método de Calibración:
   El artículo presenta una generalización técnica del método de calibración para manejar condiciones de frontera libre en dominios con singularidades (conos). La construcción explícita del campo vectorial tangente a la pared del cono es una contribución metodológica importante que podría aplicarse a otros problemas de minimización de energía en geometrías no suaves.

4. Análisis de la Brecha Dimensional:
   Explica por qué existe una diferencia cualitativa entre $n=3$ y $n \ge 4$. La existencia de la solución a la desigualdad diferencial necesaria para la calibración depende críticamente de que $n \ge 4$, lo que revela una transición de fase en el comportamiento de los minimizadores de frontera libre en conos.

Conclusión

El artículo de Vianello establece que, en dimensiones $n \ge 4$, los conos circulares suficientemente anchos admiten minimizadores de perímetro relativo que son hiperplanos axiales que pasan por el vértice del cono. Esto proporciona un contraejemplo definitivo a las conjeturas de regularidad de frontera libre (Teorema de Salto de Vértice) en dimensiones superiores, demostrando que la singularidad del dominio puede ser heredada por el minimizador, y delimita la frontera de la regularidad de la frontera libre en geometría no suave.