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

Resumo Técnico: Estrutura Refinada do Conjunto de Concentração de Energia em Ferronemáticos

Problema e Contexto
Este artigo constitui a segunda parte de um estudo sobre um modelo variacional bidimensional para ferronemáticos, materiais compostos por nanopartículas magnéticas dispersas em uma matriz de cristal líquido nemático. O sistema é governado por um funcional de energia livre $F_\varepsilon$ que envolve dois parâmetros de ordem acoplados: um tensor $Q$ de Landau-de Gennes ($Q: \Omega \to S^2_0$) descrevendo a orientação do cristal líquido, e um campo vetorial de magnetização ($M: \Omega \to \mathbb{R}^2$). A energia inclui um potencial do tipo Ginzburg-Landau com um termo de acoplamento singular que favorece o alinhamento entre $Q$ e $M$.

Os autores analisam o comportamento assintótico de pontos críticos (não necessariamente minimizadores) de $F_\varepsilon$ conforme o parâmetro pequeno $\varepsilon \to 0$. No artigo complementar [9], estabeleceu-se que a densidade de energia associada ao componente $Q$ se concentra em um conjunto finito de pontos singulares ($\text{spt } \mu_\star$). O objetivo principal deste trabalho é caracterizar o comportamento limite do componente $M$ e a estrutura de seu conjunto de concentração de energia ($\text{spt } \nu_\star$), que se espera formar estruturas singulares unidimensionais (linhas) em vez de pontos isolados.

Metodologia
A análise trata a equação de Euler-Lagrange para $M$ (Equação 9) como um sistema Allen-Cahn vetorial "perturbado". A dificuldade central reside no fato de que os poços de potencial para $M$ não são fixos, mas dependem do $Q_\varepsilon$ que varia espacialmente. Para superar isso, os autores empregam uma estratégia multifacetada:

1. Estrutura Allen-Cahn Perturbada: Eles definem um potencial $V(M_\varepsilon)$ dependente de $Q_\varepsilon$ e um correspondente funcional de energia $E_\varepsilon$. Eles adaptam os métodos de energia desenvolvidos para soluções não minimizantes do sistema Allen-Cahn puro em [6] para este cenário acoplado.
2. Desacoplamento via Convergência Forte: Aproveitando os resultados de convergência refinados para $Q_\varepsilon$ de [9], os autores provam que, longe do conjunto singular $\text{spt } \mu_\star$, $Q_\varepsilon$ converge fortemente para um mapa harmônico suave $Q_\star$. Isso permite que eles tratem os termos de acoplamento como perturbações de ordem inferior que desaparecem no limite, recuperando efetivamente a estrutura da análise Allen-Cahn pura na região $\Omega \setminus \text{spt } \mu_\star$.
3. Limpeza (Clearing-Out) e Monotonicidade: Os autores estabelecem um teorema de "limpeza" (clearing-out) para $M_\varepsilon$, mostrando que, se a energia for suficientemente pequena em uma bola, a solução permanece próxima dos poços de potencial. Crucialmente, eles introduzem uma medida de energia potencial limite $\zeta_\star$ (o limite de $\frac{1}{\varepsilon}V(M_\varepsilon)$). Diferentemente da medida de energia total $\nu_\star$, $\zeta_\star$ satisfaz uma fórmula de monotonicidade derivada de uma relação de diferencial de Hopf limite (um sistema de Cauchy-Riemann modificado), o que é essencial para provar a retificabilidade e as propriedades de densidade.
4. Teoria de Varifolds: A estrutura do conjunto de concentração é analisada utilizando a linguagem de varifolds. Os autores computam a primeira variação da varifold limite $V_\star$ associada a $\zeta_\star$ para estabelecer propriedades de estacionariedade e leis de balanço.

Principais Contribuições e Resultados

• Retificabilidade e Estrutura do Conjunto Singular: O artigo prova que o suporte da medida de energia limite para a magnetização, $\text{spt } \nu_\star$, é localmente uma união finita de segmentos (um conjunto retificável unidimensional) fora das singularidades pontuais do componente $Q$. Especificamente, o conjunto $S_\star := \text{spt } \nu_\star \setminus \text{spt } \mu_\star$ é enumeravelmente $\mathcal{H}^1$-retificável com medida localmente finita.
• Caracterização da Medida Limite: Os autores mostram que a medida de energia potencial limite $\zeta_\star$ é absolutamente contínua em relação à medida de Hausdorff restrita a $S_\star$ ($\zeta_\star = v_\star \mathcal{H}^1_{S_\star}$). Além disso, $\zeta_\star$ e a medida de energia total $\nu_\star$ são equivalentes em $S_\star$, o que significa que compartilham o mesmo suporte e conjuntos nulos.
• Estacionariedade e Leis de Balanço: A varifold limite $V_\star$ é estacionária em $\Omega \setminus \text{spt } \mu_\star$. O artigo deriva uma lei de balanço precisa para a primeira variação de $V_\star$ no domínio total $\Omega$. Essa variação está concentrada inteiramente no conjunto finito $\text{spt } \mu_\star$ e é dada pelo gradiente da energia renormalizada de Ginzburg-Landau das singularidades pontuais. Isso estabelece uma condição de criticidade onde a energia de interação dos defeitos pontuais ($Q$-singularidades) é equilibrada pela tensão das linhas singulares ($M$-singularidades).
• Convergência Forte: Os autores provam a convergência uniforme local forte de $M_\varepsilon$ para um mapa limite $M_\star$ no complemento da união dos conjuntos singulares ($\Omega \setminus (\text{spt } \mu_\star \cup \text{spt } \nu_\star)$).

Significância e Alegações
O artigo afirma fornecer uma caracterização completa do conjunto de concentração de energia para o componente de magnetização no modelo ferronemático, estendendo resultados anteriores que eram limitados a minimizadores ou apenas ao componente $Q$. Ao adaptar a análise de soluções não minimizantes de [6] para um sistema acoplado, os autores demonstram que o complexo acoplamento entre o cristal líquido e os campos magnéticos não altera a estrutura geométrica fundamental das singularidades (que permanecem linhas retificáveis), mas introduz um mecanismo de interação específico entre defeitos pontuais e defeitos de linha.

O trabalho estabelece que o conjunto singular para o componente $M$ não é meramente uma coleção de linhas, mas possui uma estrutura variacional governada por uma lei de balanço envolvendo a energia renormalizada dos defeitos de $Q$. Os autores observam que, embora a função de densidade $v_\star$ seja localmente constante nos segmentos, eles não provam que ela é de valor inteiro (integralidade) neste trabalho, embora sugiram isso como uma propriedade plausível para regimes de parâmetros específicos baseando-se em argumentos formais. Os resultados dependem fortemente das estimativas de energia e dos resultados de compacidade estabelecidos no artigo complementar [9].