Volumetric density estimates for nonlocal minimal surfaces

Resumo Técnico: Estimativas de Densidade Volumétrica para Superfícies Mínimas Não Locais

Enunciado do Problema
O artigo aborda a teoria da regularidade de superfícies mínimas não locais, focando especificamente na validade de estimativas de densidade volumétrica para subsoluções de viscosidade de equações de curvatura média não local. Na teoria clássica de superfícies mínimas, estimativas de densidade (quantificando o quão "próximas" porções de uma superfície podem estar) são ferramentas fundamentais. Para superfícies mínimas clássicas, as estimativas de densidade volumétrica (V) e as estimativas de densidade de superfície de cima (SA) valem para minimizadores, mas falham para superfícies estacionárias gerais (por exemplo, o catenoide ou placas periódicas).

No contexto não local, definido por kernels comparáveis ao Laplaciano fracionário, resultados anteriores estabeleceram que (V), (SA) e (SB) valem para minimizadores do perímetro não local. No entanto, para conjuntos não minimizadores gerais (soluções estacionárias ou subsoluções de viscosidade), a validade da estimativa volumétrica (V) permanecia uma questão em aberto. Além disso, para kernels gerais (não apenas o Laplaciano fracionário), a validade dessas estimativas para soluções estacionárias era amplamente desconhecida, particularmente porque as provas existentes para o caso fracionário dependiam de fórmulas de monotonicidade que não se estendem a kernels gerais.

Metodologia
Os autores empregam um argumento por contradição enraizado nas propriedades das subsoluções de viscosidade e na geometria do operador de curvatura média não local. A metodologia central envolve:

1. Formulação de Viscosidade: Os autores trabalham com a definição de subsoluções de viscosidade, onde a curvatura média não local $H_{K,E}$ é requerida para ser limitada superiormente em pontos onde o conjunto $E$ admite uma bola de contato exterior. Isso permite a análise de conjuntos potencialmente irregulares (conjuntos de Borel) sem exigir diferenciabilidade clássica.
2. Desigualdade Maximal de Hardy-Littlewood: A prova utiliza a função maximal para identificar um conjunto de pontos $D_\alpha$ dentro de uma bola onde o conjunto $E$ é "esparso" (ou seja, possui baixa densidade) em todas as escalas.
3. Desigualdades de Rearranjo: Uma ferramenta técnica chave é uma desigualdade de rearranjo (Lema 3.2) que demonstra que, se um conjunto $E$ tem medida pequena em uma região, a energia de interação não local (e, portanto, a curvatura) em um ponto de fronteira tocando uma bola exterior deve ser grande.
4. Contradição via Densidade: Os autores assumem que a estimativa de densidade volumétrica falha (ou seja, $E$ tem medida arbitrariamente pequena em uma bola). Eles mostram que essa esparsidade força a curvatura média não local a exceder o limite imposto pela condição de subsolução de viscosidade em pontos específicos.
5. Tratamento da Medida de Fronteira: Uma distinção técnica crítica é feita regarding a medida de Lebesgue da fronteira $\partial E$. Os autores provam que, se a densidade for muito baixa, o conjunto de pontos onde a curvatura não local é infinita deve ter medida de Lebesgue positiva. Como a definição de viscosidade apenas restringe pontos com bolas de contato exterior, e pontos com curvatura infinita neste contexto necessariamente carecem de tais bolas, os autores derivam uma contradição com a suposição de que $\partial E$ tem medida de Lebesgue zero.

Contribuições e Resultados Principais

• Estimativas Volumétricas Universais para Subsoluções (Teorema 1.2): O resultado principal estabelece que, para qualquer conjunto de Borel $E$ com fronteira de medida de Lebesgue zero, se $E$ é uma subsolução de viscosidade de uma equação de curvatura média não local com um kernel comparável ao Laplaciano fracionário, então $E$ satisfaz uma estimativa universal de densidade volumétrica. Especificamente, $|E \cap B_R| \geq \delta |B_R|$ para todo $R > 0$, onde $\delta$ depende apenas da dimensão, da ordem fracionária $s$ e das constantes de elipticidade do kernel.
• Extensão a Kernels Gerais (Corolário 1.4): Ao contrário de resultados anteriores para superfícies $s$-mínimas que dependiam de fórmulas de monotonicidade específicas, essas estimativas valem para kernels simétricos gerais que satisfazem limites de elipticidade uniforme (comparáveis a $|y|^{-(d+s)}$).
• Densidade de Superfície de Baixo (Corolário 1.5): Combinando as novas estimativas volumétricas com a desigualdade isoperimétrica relativa, os autores provam que superfícies mínimas não locais gerais (soluções estacionárias) satisfazem uma estimativa universal de densidade de superfície de baixo (SB). Isso estende a validade de (SB) além do caso do Laplaciano fracionário.
• O Fenômeno da "Fronteira Gorda" (Teorema 1.6): O artigo prova um inverso notável: se uma subsolução de viscosidade tem densidade "muito baixa" (abaixo de um limiar universal), sua fronteira topológica deve ter medida de Lebesgue positiva. Especificamente, o conjunto de pontos na fronteira onde a curvatura média não local é $+\infty$ tem medida de Lebesgue positiva. Isso destaca uma rigidez no quadro de soluções de viscosidade: não se pode ter um conjunto "fino" com uma fronteira "fina" satisfazendo a condição de subsolução; se o conjunto for muito esparso, a fronteira torna-se "gorda" (medida positiva) e a curvatura explode em um conjunto de medida positiva.

Significado e Alegações
O artigo alega resolver a validade das estimativas de densidade volumétrica para superfícies mínimas não locais não minimizadoras com kernels gerais. Os autores enfatizam que seus resultados valem para subsoluções de viscosidade, uma classe mais ampla que minimizadores ou pontos estacionários no sentido clássico.

O significado reside em:

1. Universalidade: Estabelecer que as estimativas de densidade volumétrica são uma propriedade robusta de superfícies mínimas não locais, independente de o conjunto ser um minimizador global, desde que a fronteira seja suficientemente regular (medida de Lebesgue zero).
2. Kernels Gerais: Ir além do kernel específico do Laplaciano fracionário para uma ampla classe de kernels, ampliando assim a aplicabilidade da teoria de superfícies mínimas não locais a modelos com diferentes alcances de interação.
3. Insight Estrutural: O Teorema 1.6 fornece um insight estrutural novel sobre a natureza das soluções de viscosidade, ligando diretamente a baixa densidade à existência de uma "fronteira gorda" e curvatura infinita, um fenômeno não presente na teoria local clássica na mesma forma.

Os autores observam que seus resultados não requerem suposições de estabilidade (diferentemente de resultados anteriores para a estimativa de densidade de superfície de cima no contexto não local) e aplicam-se a todo o espaço em todas as escalas. O trabalho depende da interplay entre a singularidade do operador não local e as restrições geométricas impostas pela definição de solução de viscosidade.