Bubbling of almost critical points of anisotropic isoperimetric problems with degenerating ellipticity

Resumo Técnico: Bubbling de Pontos Quase Críticos em Problemas Isoperimétricos Anisotrópicos

1. O Problema Investigado

O artigo aborda o problema de "bubbling" (formação de bolhas) anisotrópico, uma questão fundamental na geometria variacional e na teoria das superfícies mínimas. O problema central pode ser formulado da seguinte maneira:

Dada uma sequência de normas uniformemente convexas e suaves $\{\phi_h\}$ que converge para uma norma arbitrária $\phi$ (que pode ser não suave ou cristalina), quais são os pontos de acumulação $L^1$ de sequências de conjuntos de perímetro finito $\{E_h\}$ que são quase pontos críticos da energia de superfície anisotrópica associada a $\phi_h$?

Mais especificamente, o artigo investiga se os limites dessas sequências, cujas curvaturas médias anisotrópicas convergem para uma constante, são necessariamente uniões finitas de formas de Wulff (os minimizadores do problema isoperimétrico anisotrópico), possivelmente tangentes entre si.

Este problema é uma generalização de fenômenos conhecidos no caso euclidiano, mas torna-se significativamente mais complexo devido a duas dificuldades principais:

1. Degeneração da Elipticidade: A norma limite $\phi$ pode não ser suave ou uniformemente convexa, levando à perda de regularidade e à possibilidade de perda de perímetro no limite.
2. Medida de Quase-Criticidade: O artigo busca remover hipóteses restritivas anteriores (como a convergência rápida em $L^2$) e trabalhar com uma medida de desvio mais fraca, mas adequada à dimensão ($L^n$).

2. Metodologia e Ferramentas Técnicas

A abordagem de Santilli difere fundamentalmente das provas anteriores (como a de [DMMN18]), que utilizavam métodos potenciais. O autor adota uma metodologia integral-geométrica, inspirada em trabalhos de [MR91], [DM19] e [JN23], mas adaptada para um contexto não suave e anisotrópico.

Os pilares metodológicos incluem:

• Geometria de Conjuntos de Perímetro Finito: Ao contrário de trabalhos anteriores que assumiam domínios suaves ($C^2$), este trabalho lida diretamente com conjuntos de perímetro finito. Isso exige o uso de varifolds e a teoria de curvaturas generalizadas.
• Curvaturas Principais Anisotrópicas Generalizadas: O autor define e utiliza curvaturas principais $\kappa^\phi_{A,i}$ para conjuntos fechados arbitrários, baseando-se na teoria de reach anisotrópico e no feixe normal generalizado.
• Fórmula de Desintegração (Coarea Formula Anisotrópica): Utiliza-se uma fórmula de desintegração de volume (Lemma 3.3) que relaciona o volume de um conjunto com integrais sobre seu feixe normal, envolvendo o produto das curvaturas principais.
• Estimativas de $L^n$: A inovação crucial é a troca da norma $L^2$ (usada em trabalhos anteriores) pela norma $L^n$ para medir o desvio da curvatura média de uma constante. Esta escolha é dimensionalmente crítica e permite controlar os termos de erro sem hipóteses adicionais de convexidade uniforme ou limites inferiores na curvatura.
• Análise do Feixe Normal Generalizado: O autor analisa cuidadosamente o "feixe normal generalizado anisotrópico" e as curvaturas principais associadas à fronteira de conjuntos de perímetro finito, superando a dificuldade de que a teoria euclidiana clássica para varifolds é mais sutil no caso anisotrópico.

3. Resultados Principais

O resultado central é o Teorema 4.3, que estabelece a rigidez dos pontos de acumulação:

• Hipóteses:

  • $\{\phi_h\}$ é uma sequência de normas uniformemente convexas $C^3$ convergindo pontualmente para uma norma arbitrária $\phi$.
  • $\{E_h\}$ é uma sequência de conjuntos de perímetro finito com diâmetro e perímetro uniformemente limitados.
  • A curvatura média anisotrópica $\vec{H}^{\phi_h}_{E_h}$ converge para uma constante $\lambda$ no sentido da norma $L^n(\partial^* E_h)$, ou seja, $\|H^{\phi_h}_{E_h} - \lambda\|_{L^n} \to 0$.

• Conclusão:
  Existe um inteiro não negativo finito $L$ e um conjunto aberto $\Omega$ (limitado) tal que, a menos de translações e subsequências:

  1. Convergência $L^1$: $|E_h \triangle \Omega| \to 0$.
  2. Estrutura do Limite: $\Omega$ é a união disjunta (exceto possivelmente em pontos de tangência) de $L$ formas de Wulff $\phi$ de raio $r = n/\lambda$.
  3. Convergência de Perímetro: $\lim_{h\to\infty} P_{\phi_h}(E_h) = L \cdot P_\phi(W_\phi^r)$.

• Corolário 1.1 (Caso Suave): Para domínios suaves, o resultado confirma que se a curvatura média converge em $L^n$, o limite é uma união de formas de Wulff, sem necessidade de hipóteses adicionais de convexidade uniforme ou limites inferiores na curvatura.

4. Contribuições Chave e Inovações

1. Solução Condicional Unconditional: O trabalho resolve o problema de bubbling anisotrópico de forma completa, removendo a necessidade de hipóteses adicionais (como a convergência rápida em $L^2$ ou limites inferiores na curvatura) que eram necessárias em trabalhos anteriores ([DMMN18]).
2. Generalidade da Norma Limite: O resultado é válido mesmo quando a norma limite $\phi$ é cristalina (não suave), um cenário onde a perda de perímetro é comum e a análise é extremamente difícil.
3. Novidade no Caso Euclidiano: Mesmo quando $\phi_h = \phi$ é a norma euclidiana, o teorema é novo porque lida com conjuntos de perímetro finito (não necessariamente suaves), generalizando resultados anteriores que exigiam regularidade $C^2$.
4. Técnica de Estimativa $L^n$: A demonstração de que a convergência em $L^n$ é suficiente para controlar a geometria e evitar a formação de "bolhas" infinitas ou perda de massa é uma contribuição técnica significativa.

5. Significado e Impacto

• Teoria de Fluxos de Volume Preservado: O problema está intrinsecamente ligado ao estudo de fluxos de volume preservado anisotrópicos. Resultados de "bubbling" são essenciais para entender o comportamento de longo prazo dessas fluxos, especialmente para dados iniciais não convexos, onde a convergência para formas de Wulff ainda é uma questão em aberto.
• Rigidez de Pontos Críticos: O trabalho consolida a compreensão de que, mesmo em regimes de baixa regularidade e anisotropia degenerada, a estrutura dos pontos críticos (ou quase críticos) de energias de superfície é rigidamente controlada pelas formas de Wulff.
• Ferramentas para Análise Não Suave: A adaptação da geometria integral-geométrica para o contexto de varifolds anisotrópicos e conjuntos de perímetro finito abre caminho para futuras investigações em problemas de otimização de forma e equações de evolução geométrica em contextos não suaves.

Em suma, o artigo de Mario Santilli fornece uma prova robusta e geral de que, sob condições de quase-criticidade medida em $L^n$, a única estrutura geométrica possível para o limite de sequências de superfícies anisotrópicas é uma coleção finita de formas de Wulff, resolvendo uma questão aberta e generalizando resultados clássicos para o cenário de degeneração da elipticidade.