Partial regularity for minimizing constraint maps for the Alt-Phillips energy

Resumo Técnico: Regularidade Parcial para Mapas Minimizantes com Restrições na Energia de Alt-Phillips

1. O Problema Investigado

O artigo aborda o problema de regularidade parcial para mapas minimizantes sujeitos a restrições geométricas, no contexto de um funcional de energia do tipo Alt-Phillips.

• Configuração Geométrica: Seja $\Omega \subset \mathbb{R}^n$ um domínio limitado e $M \subset \mathbb{R}^m$ ($m \ge 2$) um domínio suave com complemento compacto e conexo. O objetivo é estudar mapas $u: \Omega \to M$ que pertencem ao espaço de Sobolev $W^{1,2}(\Omega; M)$.
• O Funcional de Energia: O funcional considerado é uma generalização da energia de Dirichlet com um termo de fonte (potencial) dependente da distância ao complemento de $M$:
  $$E_{\lambda, \gamma}[u] = \int_{\Omega} \left( \frac{1}{2}|Du|^2 + \lambda (\rho \circ u)^\gamma \right) dx$$
  Onde:
  • $\lambda > 0$ é uma constante.
  • $\gamma \in (0, 2)$ é o expoente do potencial.
  • $\rho$ é a função distância (com sinal) até o complemento de $M$ ($M^c$).
• Objetivo: Estabelecer teoremas de regularidade (suavidade) para os minimizantes deste funcional. Especificamente, determinar em que grau de suavidade ($C^{1,\alpha}$ ou $C^{1,1}$) os mapas minimizantes são regulares, exceto possivelmente em um conjunto de singularidades de dimensão Hausdorff pequena.

2. Metodologia e Abordagem

A prova combina técnicas clássicas de cálculo variacional com novas adaptações necessárias devido à presença do termo de fonte $\lambda(\rho \circ u)^\gamma$ e das restrições de imagem em $M$.

• Estratégia Principal: O autor utiliza um teorema de $\epsilon$-regularidade. A ideia central é mostrar que, se a energia do mapa em uma bola for suficientemente pequena, o mapa é suave nessa região.
• Dificuldades Enfrentadas:
  1. Termo de Fonte: Diferente do caso clássico de Dirichlet ou do funcional Alt-Caffarelli, o termo $\lambda(\rho \circ u)^\gamma$ introduz componentes na equação de Euler-Lagrange que são difíceis de controlar, especialmente para $\gamma \in (0, 1)$.
  2. Restrições de Mapa: As técnicas existentes para o funcional Alt-Phillips sem restrições (como em [7]) não se aplicam diretamente, pois não consideram a restrição $u \in M$.
• Ferramentas Chave:
  • Mapas Comparadores: Em vez de usar funções harmônicas como comparadores (comum em problemas de Dirichlet), o autor utiliza mapas minimizantes para o funcional de Dirichlet puro ($E_0$) com as mesmas condições de contorno. Isso garante que os competidores respeitem a restrição $M$.
  • Fórmula de Monotonicidade Quase: Deriva uma fórmula de monotonicidade quase para a energia, adaptada para lidar com o termo extra $\lambda(\rho \circ u)^\gamma$.
  • Princípio do Máximo e Iteração: Utiliza um princípio do máximo para mapas minimizantes de $E_0$ (Lema 3.1) e um argumento de bootstrapping (iteração) para melhorar o expoente de regularidade $\alpha$.
  • Equações de Euler-Lagrange: Analisa detalhadamente as equações para a função distância composta ($\rho \circ u$) e a projeção no bordo ($\Pi \circ u$) para obter estimativas de derivadas de segunda ordem.

3. Principais Resultados

Teorema 1.1 (Teorema de $\epsilon$-Regularidade):
Este é o resultado central. Estabelece que, se a energia escalada e o termo de potencial forem suficientemente pequenos em uma bola $B_{2R}(x_0)$, então o minimizante $u$ é suave.

• Regularidade $C^{1,\alpha}$: Para qualquer $\sigma \in (0, 1)$, existe $\epsilon > 0$ tal que, se as condições de energia forem satisfeitas, $u \in C^{1,\alpha}(B_R(x_0); M)$ com $\alpha = \min\left\{ \frac{\gamma}{2-\gamma}, \sigma \right\}$.
• Regularidade $C^{1,1}$ (Caso $\gamma \ge 1$): Se $\gamma \in [1, 2)$ e a distância ao bordo for pequena, o mapa é $C^{1,1}$ (derivadas de primeira ordem são Lipschitz contínuas), com uma estimativa explícita para a norma da segunda derivada $\|D^2u\|_{L^\infty}$.

Corolário 1.2 (Regularidade Parcial Ótima):
Aplicando o teorema de $\epsilon$-regularidade a todo o domínio, obtém-se:

• Existe um conjunto fechado de singularidades $\Sigma \subset \Omega$ tal que $u$ é regular em $\Omega \setminus \Sigma$.
• A dimensão de Hausdorff do conjunto singular é limitada por $\dim_H(\Sigma) \le n - 3$.
• Melhoria sobre resultados anteriores: Este resultado melhora significativamente o trabalho de Luckhaus [9], elevando a regularidade de $C^{0,\alpha}$ (contínua) para $C^{1,\alpha}$ (diferenciável com derivadas Hölder contínuas) e $C^{1,1}$ em regiões próximas ao bordo livre.

4. Contribuições Técnicas Específicas

1. Adaptação do Método de Giaquinta-Giusti: O autor adapta a abordagem clássica de Giaquinta e Giusti para o contexto de mapas com restrições e fonte, substituindo funções harmônicas por minimizantes de Dirichlet com restrições.
2. Tratamento do Expoente $\gamma$: O trabalho distingue cuidadosamente os casos $\gamma < 1$ e $\gamma \ge 1$. Para $\gamma \ge 1$, a estrutura da equação permite obter a regularidade ótima $C^{1,1}$, enquanto para $\gamma < 1$, a regularidade é limitada pelo expoente $\frac{\gamma}{2-\gamma}$.
3. Estimativas de Bootstrapping: Desenvolve um argumento iterativo refinado para elevar o expoente de Hölder $\alpha$ até o limite ótimo, superando as limitações das estimativas iniciais.
4. Análise da Equação de Euler-Lagrange: Deriva e utiliza equações específicas para a composição $\rho \circ u$ e a projeção $\Pi \circ u$, explorando a estrutura geométrica do domínio alvo $M$ (curvatura do bordo, projeção mais próxima).

5. Significado e Impacto

• Avanço Teórico: O artigo preenche uma lacuna importante na teoria de mapas harmônicos e funcionais de energia livre, conectando o funcional Alt-Phillips (comumente usado em problemas de fase livre e física de materiais) com a teoria de mapas com restrições geométricas.
• Aplicações em Física: O funcional Alt-Phillips modela fenômenos de transição de fase e interfaces. A prova de regularidade $C^{1,1}$ é crucial para entender a estrutura da fronteira livre e a estabilidade das soluções em modelos físicos reais.
• Generalização: Os resultados unificam e estendem trabalhos anteriores sobre energia de Dirichlet com restrições e o funcional Alt-Caffarelli, fornecendo um quadro mais completo para funcionais com termos de fonte não lineares.

Em suma, o trabalho de Ziganshina estabelece a regularidade ótima para minimizantes de mapas com restrições na energia de Alt-Phillips, provando que, exceto em um conjunto de singularidades de dimensão baixa, os mapas são suaves, com o grau de suavidade dependente do expoente do potencial $\gamma$.