The formation of gradient-driven singular structures of codimension one and two in two-dimensions: The case study of ferronematics. Part~{II}: Refined structure of the energy-concentration set

Resumen Técnico: Estructura Refinada del Conjunto de Concentración de Energía en Ferronemáticos

Planteamiento del Problema y Contexto
Este artículo constituye la segunda parte de un estudio sobre un modelo variacional bidimensional para ferronemáticos, materiales compuestos consistentes en nanopartículas magnéticas dispersas en una matriz de cristal líquido nemático. El sistema está gobernado por un funcional de energía libre $F_\varepsilon$ que involucra dos parámetros de orden acoplados: un tensor $Q$ de Landau-de Gennes ($Q: \Omega \to S^2_0$) que describe la orientación del cristal líquido, y un campo vectorial de magnetización ($M: \Omega \to \mathbb{R}^2$). La energía incluye un potencial de tipo Ginzburg-Landau con un término de acoplamiento singular que favorece la alineación entre $Q$ y $M$.

Los autores analizan el comportamiento asintótico de los puntos críticos (no necesariamente minimizadores) de $F_\varepsilon$ a medida que el parámetro pequeño $\varepsilon \to 0$. En el artículo complementario [9], se estableció que la densidad de energía asociada al componente $Q$ se concentra en un conjunto finito de puntos singulares ($\text{spt } \mu_\star$). El objetivo principal de este trabajo es caracterizar el comportamiento límite del componente $M$ y la estructura de su conjunto de concentración de energía ($\text{spt } \nu_\star$), el cual se espera que forme estructuras singulares unidimensionales (líneas) en lugar de puntos aislados.

Metodología
El análisis trata la ecuación de Euler-Lagrange para $M$ (Ecuación 9) como un sistema Allen-Cahn vectorial "perturbado". La dificultad central radica en que los pozos de potencial para $M$ no son fijos, sino que dependen de la variación espacial de $Q_\varepsilon$. Para superar esto, los autores emplean una estrategia multifacética:

1. Estructura Allen-Cahn Perturbada: Definen un potencial $V(M_\varepsilon)$ dependiente de $Q_\varepsilon$ y un correspondiente funcional de energía $E_\varepsilon$. Adaptan los métodos de energía desarrollados para soluciones no minimizantes del sistema Allen-Cahn puro en [6] a este entorno acoplado.
2. Desacoplamiento mediante Convergencia Fuerte: Aprovechando los resultados de convergencia refinada para $Q_\varepsilon$ de [9], los autores demuestran que, lejos del conjunto singular $\text{spt } \mu_\star$, $Q_\varepsilon$ converge fuertemente a un mapa armónico suave $Q_\star$. Esto les permite tratar los términos de acoplamiento como perturbaciones de orden inferior que se anulan en el límite, recuperando efectivamente la estructura del análisis de Allen-Cahn vectorial puro en la región $\Omega \setminus \text{spt } \mu_\star$.
3. Limpieza (Clearing-Out) y Monotonicidad: Los autores establecen un teorema de "limpieza" para $M_\varepsilon$, demostrando que si la energía es suficientemente pequeña en una bola, la solución permanece cerca de los pozos de potencial. Crucialmente, introducen una medida de energía potencial límite $\zeta_\star$ (el límite de $\frac{1}{\varepsilon}V(M_\varepsilon)$). A diferencia de la medida de energía total $\nu_\star$, $\zeta_\star$ satisface una fórmula de monotonicidad derivada de una relación de diferencial de Hopf límite (un sistema de Cauchy-Riemann modificado), lo cual es esencial para probar la rectificabilidad y las propiedades de densidad.
4. Teoría de Varifolds: La estructura del conjunto de concentración se analiza utilizando el lenguaje de las varifolds. Los autores computan la primera variación de la varifold límite $V_\star$ asociada a $\zeta_\star$ para establecer propiedades de estacionariedad y leyes de balance.

Contribuciones Clave y Resultados

• Rectificabilidad y Estructura del Conjunto Singular: El artículo demuestra que el soporte de la medida de energía límite para la magnetización, $\text{spt } \nu_\star$, es localmente una unión finita de segmentos (un conjunto rectificable de dimensión uno) fuera de las singularidades puntuales del componente $Q$. Específicamente, el conjunto $S_\star := \text{spt } \nu_\star \setminus \text{spt } \mu_\star$ es contablemente $\mathcal{H}^1$-rectificable con medida localmente finita.
• Caracterización de la Medida Límite: Los autores muestran que la medida de energía potencial límite $\zeta_\star$ es absolutamente continua con respecto a la medida de Hausdorff restringida a $S_\star$ ($\zeta_\star = v_\star \mathcal{H}^1_{S_\star}$). Además, $\zeta_\star$ y la medida de energía total $\nu_\star$ son equivalentes en $S_\star$, lo que significa que comparten el mismo soporte y conjuntos nulos.
• Estacionariedad y Leyes de Balance: La varifold límite $V_\star$ es estacionaria en $\Omega \setminus \text{spt } \mu_\star$. El artículo deriva una ley de balance precisa para la primera variación de $V_\star$ en todo el dominio $\Omega$. Esta variación se concentra enteramente en el conjunto finito $\text{spt } \mu_\star$ y viene dada por el gradiente de la energía renormalizada de Ginzburg-Landau de las singularidades puntuales. Esto establece una condición de criticidad donde la energía de interacción de los defectos puntuales ($Q$-singularidades) es equilibrada por la tensión de las líneas singulares ($M$-singularidades).
• Convergencia Fuerte: Los autores demuestran la convergencia local uniforme fuerte de $M_\varepsilon$ hacia un mapa límite $M_\star$ en el complemento de la unión de los conjuntos singulares ($\Omega \setminus (\text{spt } \mu_\star \cup \text{spt } \nu_\star)$).

Significancia y Reivindicaciones
El artículo afirma proporcionar una caracterización completa del conjunto de concentración de energía para el componente de magnetización en el modelo de ferronemáticos, extendiendo los resultados previos que estaban limitados a minimizadores o al componente $Q$ por sí solo. Al adaptar el análisis de soluciones no minimizantes de [6] a un sistema acoplado, los autores demuestran que el complejo acoplamiento entre el cristal líquido y los campos magnéticos no altera la estructura geométrica fundamental de las singularidades (que siguen siendo líneas rectificables), sino que introduce un mecanismo de interacción específico entre defectos puntuales y defectos lineales.

El trabajo establece que el conjunto singular para el componente $M$ no es meramente una colección de líneas, sino que posee una estructura variacional gobernada por una ley de balance que involucra la energía renormalizada de los defectos de $Q$. Los autores señalan que, si bien la función de densidad $v_\star$ es localmente constante en los segmentos, no prueban que sea entera (integrabilidad) en este trabajo, aunque sugieren que es una propiedad plausible para regímenes de parámetros específicos basándose en argumentos formales. Los resultados dependen fuertemente de las estimaciones de energía y los resultados de compacidad establecidos en el artículo complementario [9].