Continuity of critical points for 1-dimensional non-local energies

Resumo Técnico: Continuidade de Pontos Críticos para Energias Não Locais de 1 Dimensão

Enunciado do Problema
Este artigo investiga a regularidade de pontos críticos limitados para uma classe de energias não locais definidas sobre medidas de probabilidade em uma dimensão. A funcional de energia é do tipo atrativo-repulsivo, dada por:
$$E(\mu) = \iint g(x-y) d\mu(x) d\mu(y)$$
onde $g: \mathbb{R} \to [0, +\infty]$ é um núcleo simétrico. Os autores focam em medidas $\mu = f \mathcal{L}^1$ (absolutamente contínuas em relação à medida de Lebesgue) que satisfazem as condições de Euler-Lagrange para minimizadores locais, especificamente que o potencial induzido $\psi_f = g * f$ é constante quase em toda parte no suporte de $f$. Embora resultados de existência e limites $L^\infty$ para minimizadores sejam conhecidos sob certas condições, a regularidade interna (especificamente a continuidade) dessas densidades dentro de seu suporte permanece uma questão central. O artigo aborda se pontos críticos limitados são contínuos dentro de seu suporte, assumindo que o núcleo $g$ satisfaz condições específicas de crescimento e convexidade próximo à origem.

Metodologia
Os autores empregam uma prova por contradição centrada no comportamento da segunda derivada do potencial. A estratégia central envolve as seguintes etapas:

1. Regularização: A densidade $f$ é regularizada via convolução com um elemento de suavização (mollifier) suave $\rho_\delta$ para obter uma função suave $f_\delta$. Como o potencial $\psi_f$ é constante no suporte, $\psi_{f_\delta}$ também é constante em um intervalo ligeiramente menor.
2. Análise de Ponto Crítico: Os autores assumem que $f$ é descontínua em um ponto (especificamente, que os limites essenciais não coincidem). Isso implica que, para $\delta$ suficientemente pequeno, a função regularizada $f_\delta$ deve exibir oscilações (máximos e mínimos locais) próximo a esse ponto.
3. Estimativas da Segunda Derivada: A prova baseia-se na análise da segunda derivada do potencial, $\psi''_{f_\delta}$, nos pontos críticos de $f_\delta$. Como $\psi_{f_\delta}$ é constante, $\psi''_{f_\delta}$ deve ser nula nesses pontos.
4. Lemmas de Cancelamento: Uma parte significativa do trabalho técnico envolve derivar desigualdades integrais (Lemmas 2.2, 2.3 e 2.4) que estimam a contribuição das derivadas do núcleo para a segunda derivada do potencial. Esses lemas exploram a convexidade de $g$ e a concavidade de $g'$ em uma vizinhança da origem. Eles estabelecem que, se $f_\delta$ oscila entre valores correspondentes a um salto em $f$, os termos integrais não podem cancelar-se para zero, desde que o núcleo satisfaça uma condição de crescimento específica envolvendo a razão das derivadas em $x/2$ e $x$.
5. Seleção de Pontos Críticos "Bons": Os autores constroem uma sequência de máximos e mínimos locais alternados para $f_\delta$ próximo à descontinuidade. Eles selecionam um "par bom" de pontos críticos consecutivos onde a distância entre eles satisfaz restrições geométricas específicas em relação aos seus vizinhos.
6. Redução de Simetria: Para lidar com descontinuidades gerais, o problema é decomposto em partes simétricas (pares) e antissimétricas (ímpares) da densidade. Os autores provam que, se os limites essenciais existem para ambas as partes par e ímpar, eles devem ser iguais, implicando a existência de um limite essencial único para $f$.

Contribuições Principais e Resultados
O resultado primário é o Teorema A, que afirma:
Seja $g$ tal que satisfaz as hipóteses (i) e (ii) (simetria, $C^1$ longe de 0, decrescente, convexa e uma condição de crescimento específica em $g'$ perto de 0 envolvendo uma constante $\Lambda > 1$). Se $f \in L^\infty(\mathbb{R})$ é uma medida finita com suporte $[a, b]$ e seu potencial $\psi_f$ é constante quase em toda parte em $[a, b]$, então $f$ é contínua no intervalo aberto $(a, b)$.

• Hipóteses sobre o Núcleo: O núcleo deve ser convexo e possuir uma derivada côncava perto da origem. Crucialmente, a razão $\liminf_{x \to 0} |g'(x/2)|/|g'(x)|$ deve ser estritamente maior que 1. Esta condição é satisfeita por núcleos atrativo-repulsivos prototípicos da forma $g(x) = \frac{|x|^\alpha}{\alpha} - \frac{|x|^\lambda}{\lambda}$ para $\alpha, \lambda$ apropriados.
• Suposição de Limitante: O teorema assume que a medida possui uma densidade limitada ($f \in L^\infty$). Os autores observam que esta é uma suposição branda, pois limites $L^\infty$ são conhecidos para minimizadores sob condições ligeiramente mais fortes sobre o núcleo.
• Regularidade Interna: O resultado garante a continuidade estritamente dentro do suporte. O artigo reconhece explicitamente que o comportamento de fronteira (perto de $a$ e $b$) não é abordado e pode diferir, pois minimizadores podem ser ilimitados ou singulares na fronteira em certos casos.

Significância e Alegações
O artigo afirma estabelecer a continuidade interna de pontos críticos limitados para uma ampla classe de energias não locais em 1D. A significância reside em preencher a lacuna entre a existência conhecida e os limites $L^\infty$ de minimizadores e sua continuidade pontual.

Os autores enfatizam que sua abordagem é distinta de trabalhos anteriores que utilizam técnicas de EDP relacionadas ao Laplaciano fracionário (ex: [8]). Em vez disso, este trabalho baseia-se na análise direta da estrutura de convolução e nas propriedades de singularidade específicas do núcleo. O artigo não pretende resolver o problema de regularidade para minimizadores ilimitados ou em dimensões superiores, nem fornece fórmulas explícitas para os minimizadores. Ele estabelece estritamente que, sob as suposições dadas sobre o núcleo e a limitação da densidade, a densidade não pode apresentar descontinuidades de salto dentro de seu suporte. A prova demonstra que a singularidade específica do núcleo (regida por $\Lambda > 1$) é suficiente para forçar o cancelamento das oscilações no potencial, impondo, assim, a continuidade.