Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic First Variation Part II

Resumo Técnico: Quadratic Flatness and Regularity for Codimension-One Varifolds (Parte II)

1. O Problema e o Contexto

O artigo aborda a teoria da regularidade de varifolds (generalizações de superfícies que permitem singularidades e multiplicidades) de codimensão um em $\mathbb{R}^{n+1}$, sob a hipótese de variação primeira anisotrópica limitada.

• Contexto Anterior: Em um trabalho prévio ([KS25]), os autores provaram que, para varifolds integrais com variação primeira anisotrópica limitada e suporte com medida de Hausdorff $\mathcal{H}^n$ localmente finita, o suporte exibe "planicidade quadrática" e é $\mathcal{C}^2$-retificável. Sob a hipótese adicional de que a densidade unitária é absolutamente contínua em relação à medida do varifold, concluiu-se que a camada de densidade unitária é uma variedade $\mathcal{C}^{1,\alpha}$.
• O Desafio Atual: Este segundo artigo explora consequências fundamentais desse resultado anterior. O objetivo central é estabelecer duas propriedades cruciais para a camada de densidade unitária ($Q$):
  1. Perpendicularidade: A vetor de curvatura média anisotrópica deve ser ortogonal ao plano tangente aproximado.
  2. Localidade: O vetor de curvatura média deve ser compatível com estruturas de segunda ordem aproximadas (ou seja, ser localmente definido pela geometria da superfície).

O principal obstáculo é que, no caso anisotrópico, as ferramentas clássicas da geometria euclidiana (como o Teorema de Pitágoras e fórmulas de monotonicidade) falham ou não estão disponíveis, tornando as estimativas de decaimento e a análise de variação primeira significativamente mais complexas.

2. Metodologia

Os autores desenvolvem uma abordagem sofisticada que combina análise geométrica, teoria de varifolds e técnicas de "endireitamento" local da estrutura anisotrópica.

• Endireitamento Linear Local (Straightening):
  Diferente do caso euclidiano, onde a estrutura métrica é uniforme, a anisotropia depende da orientação do plano tangente. Para contornar a falta de simetria, os autores introduzem uma ideia inovadora: em um ponto $b$ com plano tangente aproximado $T$, eles aplicam um difeomorfismo linear $\varphi_T$ que "endireita" a estrutura anisotrópica localmente.

  • Eles estudam a variação primeira do push-forward do varifold $(\varphi_T^{-1})_\# V$ em relação a um integrando $G$ (pull-back do integrando original $F$).
  • Isso permite transformar o problema localmente em um cenário onde a geometria se comporta de maneira mais próxima da euclidiana, facilitando a aplicação de estimativas.

• Controle de Inclinação (Tilt) via Altura:
  Utilizam desigualdades do tipo Caccioppoli (Seção 3) para controlar a "inclinação" (tilt) do varifold em relação a um plano de referência, usando a "altura" (distância perpendicular) como métrica de controle. Isso é essencial para provar o decaimento quadrático da altura.

• Análise de Pontos de Lebesgue e Push-forward:
  A Seção 4 dedica-se a analisar como a curvatura média e a variação primeira se comportam sob difeomorfismos suaves. Eles provam que, para quase todo ponto, o vetor de curvatura média do varifold transformado é uma transformação linear do vetor original, preservando a estrutura de Lebesgue necessária para limites.

• Prova de Perpendicularidade (Teorema 5.2):
  A prova da perpendicularidade (Seção 5) adapta o argumento de Brakke (1978), mas com modificações críticas. Em vez de depender do Teorema de Pitágoras, eles utilizam o endireitamento local e estimativas de decaimento de tilt-excesso (excesso de inclinação) para mostrar que a componente tangencial da curvatura média deve ser nula.

• Prova de Localidade (Teorema 5.6):
  Adaptando ideias de Ambrosio e Masnou, eles demonstram que, se o varifold coincide com uma superfície suave $\mathcal{C}^2$ em um conjunto de densidade positiva, o vetor de curvatura média anisotrópica do varifold coincide com o da superfície suave.

3. Principais Contribuições e Resultados

• Teorema 1.1 (Perpendicularidade):
  Estabelece que, para quase todo ponto $a$ na camada de densidade unitária $Q$ de um varifold integral $V$ com variação primeira anisotrópica limitada, o vetor de curvatura média anisotrópica $h_F(V, a)$ é ortogonal ao plano tangente aproximado $Tan_n(\|V\|, a)$.

  • Significância: Generaliza o teorema de perpendicularidade de Brakke para o contexto anisotrópico, uma conquista não trivial devido à ausência de fórmulas de monotonicidade padrão.

• Teorema 5.6 (Localidade da Curvatura):
  Demonstra a localidade do vetor de curvatura média. Se $M$ é uma hipersuperfície $\mathcal{C}^2$ e $V$ é um varifold que coincide com $M$ em um conjunto de densidade unitária, então $h_F(V, a) = h_F(M, a)$ para quase todo $a \in M$.

  • Isso confirma que a curvatura definida via variação primeira é uma propriedade intrínseca e local da superfície, consistente com a geometria suave.

• Técnica de Endireitamento:
  A introdução do mapa linear $\varphi_T$ dependente do plano tangente para "linearizar" a anisotropia localmente é uma contribuição metodológica significativa que pode ser aplicada em outros problemas de regularidade anisotrópica.

4. Significância e Impacto

• Avanço na Teoria de Varifolds Anisotrópicos: O trabalho preenche lacunas críticas na teoria de regularidade para energias anisotrópicas (como o funcional de área ponderada ou modelos de cristais líquidos). Antes disso, a perpendicularidade da curvatura média era um resultado conhecido apenas no caso isotrópico (euclidiano).
• Fundamento para Regularidade Superior: A prova de perpendicularidade e localidade é um passo essencial para tentar estabelecer regularidade $\mathcal{C}^2$ ou superior para varifolds anisotrópicos, conectando a estrutura fraca (varifold) com a estrutura suave clássica.
• Superação de Limitações de Monotonicidade: O artigo demonstra que é possível obter resultados de regularidade fortes mesmo na ausência de fórmulas de monotonicidade, que são a ferramenta padrão no caso isotrópico. Eles substituem essas ferramentas por estimativas de decaimento de tilt-excesso e aproximações de Lipschitz multivaloradas adaptadas.
• Aplicação em Camadas de Densidade Unitária: O resultado é focado na camada de densidade unitária, que, devido ao teorema de regularidade anterior ([KS25]), é onde a estrutura suave é garantida. O artigo esclarece que, embora a perpendicularidade funcione em pontos de maior densidade no caso euclidiano, no caso anisotrópico a restrição à camada unitária é necessária devido à falta de estimativas fortes para o conjunto "ruim" (não coberto por gráficos Lipschitz) em densidades maiores.

Em suma, este artigo consolida a teoria de regularidade para varifolds anisotrópicos de codimensão um, provando que, sob condições adequadas, a curvatura média anisotrópica comporta-se de maneira geometricamente natural (ortogonal e local), alinhando-se com as expectativas da geometria diferencial clássica, apesar da complexidade da anisotropia.