Regular Curves, Singular Graphs: Cantor Parts and the Relaxed Willmore Energy

Resumen Técnico: Curvas Regulares, Gráficos Singulares: Partes de Cantor y la Energía de Willmore Relajada

Planteamiento del Problema
El artículo aborda una pregunta fundamental en el cálculo de variaciones sobre la regularidad de los minimizadores (o límites de energía finita) para funcionales que dependen de la curvatura, específicamente la energía de Willmore unidimensional (energía elástica) y sus generalizaciones $L^p$. En el contexto de los problemas de discontinuidad libre y la teoría de las Funciones Especiales de Variación Acotada (SBV), es una expectativa estándar que la energía relajada finita excluya "singularidades difusas" en la derivada, dejando solo partes absolutamente continuas y de salto. Las partes de salto corresponden geométricamente a segmentos verticales en los límites de gráficos, mientras que las partes de Cantor representan medidas singulares difusas y sin átomos.

El problema central investigado es si la finitud de la energía de Willmore relajada unidimensional, $W(u)$, implica necesariamente que $u \in SBV((0,1))$ (es decir, que la parte de Cantor de la derivada distributiva, $D^c u$, desaparece). Aunque resultados previos para ciertos exponentes $p$ cercanos a 1 sugirieron que las partes de Cantor podrían ser energéticamente neutras o estar excluidas, el comportamiento para $p=2$ (el caso de Willmore) y para un $p > 1$ general seguía siendo una cuestión abierta, particularmente respecto a si las restricciones geométricas de una energía de curvatura finita podrían descartar tales singularidades.

Metodología
Los autores emplean un enfoque constructivo basado en la teoría de relajación desarrollada por Dal Maso, Fonseca, Leoni y Morini (DMFLM09). Su metodología implica los siguientes pasos:

1. Marco de Relajación: Utilizan la caracterización del funcional relajado $F_p(u)$ (que incluye el término de Willmore más un término de variación total) en el espacio $X^p_\psi$. Una condición clave para que una función tenga energía relajada finita es que su parte singular debe estar concentrada en el conjunto donde el representante absolutamente continuo de la derivada, $(u')_a$, tiende a infinito ($\pm \infty$).
2. Construcción de Superposición: Para construir un contraejemplo, los autores definen una función $u = U + f_\delta$.
   • $f_\delta$ es una función de Cantor generalizada (monótona, continua, con una parte de Cantor no trivial $D^c f_\delta$).
   • $U$ es una función continua y monótona construida específicamente para que su derivada $U'$ (que sirve como la parte absolutamente continua de $u'$) tienda a $+\infty$ precisamente en el conjunto de Cantor $D_\delta$ asociado con $f_\delta$.
3. Diseño del Perfil Singular: La construcción de $U$ se basa en un perfil singular específico $\Phi$ definido en los intervalos eliminados durante la construcción del conjunto de Cantor. Este perfil está diseñado de tal manera que:
   • $U'$ explota en $D_\delta$, satisfaciendo el requisito de concentración para la parte singular.
   • La composición $\Psi_p \circ U'$ (donde $\Psi_p$ es la primitiva de la función de peso $\psi^{1/p}$) pertenece al espacio de Sobolev $W^{1,p}$, asegurando que la energía de curvatura permanezca finita.
   • Los parámetros de la construcción (factores de escala y exponentes) se ajustan cuidadosamente para asegurar la convergencia de las integrales de energía a pesar de la pendiente no acotada.
4. Análisis Geométrico: Los autores analizan las propiedades geométricas del gráfico de $u$. Demuestran que, aunque la función de gráfico $u$ tiene una derivada singular en la proyección vertical, la curva misma admite una parametrización por longitud de arco $\gamma$ que es de clase $C^1 \cap W^{2,p}$. Además, muestran que una rotación adecuada del gráfico elimina la parte de Cantor por completo, haciendo que la derivada de la función del gráfico rotado sea Lipschitz (y, por tanto, esté en $SBV$).

Resultos Clave
El artículo establece los siguientes teoremas y corolarios principales:

• Teorema 1 (Caso Willmore): Existe una función continua $u \in BV((0,1)) \cap C^0([0,1])$ tal que la energía de Willmore relajada $W(u)$ es finita, pero la parte de Cantor de su derivada es no nula ($D^c u \neq 0$). En consecuencia, la energía de Willmore relajada finita no implica que $u \in SBV((0,1))$.
• Teorema 2 (Caso General Ponderado): El resultado se extiende a energías de curvatura ponderadas generales $F_p$ para todo $p > 1$, siempre que la función de peso $\psi$ decaiga lo suficientemente rápido ($\psi(t) \leq C t^{-\alpha}$ con $\alpha > 2p-1$).
• Corolario 3 (Energías de Curvatura $L^p$): Para el caso específico de las energías de curvatura $L^p$ relajadas $W_p$ (donde el peso decae como $t^{-(3p-1)}$), la energía finita no excluye partes de Cantor no triviales para cualquier $p > 1$.
• Interpretación Geométrica (Teorema 9 y Observación 10): El gráfico de la función construida admite una parametrización por longitud de arco $\gamma$ que es una curva regular $C^1$ con curvatura integrable al cuadrado ($L^2$) (o $L^p$ para un $p$ general). En una variante específica, el gráfico puede incluso ser una subvariedad $C^2$ de $\mathbb{R}^2$. Se demuestra que la presencia de la parte de Cantor es un artefacto de la proyección; esta desaparece si el gráfico se rota.
• Corolario 6 (Escalamiento de la Energía): La energía de Willmore relajada de tales funciones puede hacerse arbitrariamente pequeña manteniendo una parte de Cantor no trivial. Esto implica que no existe un umbral de energía positivo por debajo del cual se excluyan las partes de Cantor.
• Corolario 15 (Superficies de Revolución): Al revolucionar una curva de perfil $C^2$-regular (construida mediante la variante $C^2$) alrededor de un eje, se obtiene una superficie de revolución con energía de Willmore finita, cuya función de radio generador posee una parte de Cantor no trivial en su derivada distributiva.

Significado y Reivindicaciones
El artículo afirma que su construcción altera fundamentalmente la comprensión de la regularidad en los funcionales de curvatura relajados:

1. Fracaso de la Expectativa SBV: Desmiente la intuición de que una energía de curvatura relajada finita excluye las singularidades difusas (partes de Cantor). Esto contrasta con el comportamiento de los funcionales de primer orden como la energía de Mumford-Shah, donde los límites de energía suelen imponer la regularidad SBV.
2. Dependencia de la Proyección: Los autores enfatizan que la parte de Cantor no es una singularidad intrínseca de la curva geométrica subyacente. La curva misma es geométricamente "dócil" (curva $C^1$ regular con curvatura integrable), pero la elección específica de la proyección (la representación de gráfico) introduce la parte singular. Esto resalta una distinción entre la geometría intrínseca de una curva y la regularidad de la representación de su gráfico.
3. Compatibilidad con la Teoría de la Relajación: La construcción demuestra que el mecanismo de "explosión" requerido por el teorema de relajación (Dal Maso et al.) es suficiente para acomodar partes de Cantor incluso para $p=2$ y valores superiores, extendiendo los resultados previos que estaban limitados a $p$ cercanos a 1.
4. Implicaciones para los Minimizadores: Los autores señalan que su resultado sugiere que la regularidad de los minimizadores para los funcionales de Willmore relajados no puede deducirse únicamente mediante argumentos de energía pequeña (como es común en la teoría de Willmore paramétrica). En cambio, la regularidad debe depender de las condiciones de minimidad o de términos de orden inferior, ya que la energía por sí misma no penaliza la parte de Cantor si esta se concentra en el conjunto de explosión de la pendiente.

El artículo concluye señalando que, aunque la construcción es unidimensional, puede integrarse en problemas de gráficos bidimensionales mediante construcciones de producto, lo que sugiere que fenómenos similares pueden ocurrir en dimensiones superiores, aunque la existencia de partes de Cantor en minimizadores reales sigue siendo una cuestión abierta.