Reversed inequality of the Herbst-type and the related Euler-Lagrange system

Resumo Técnico: Desigualdade Invertida de Tipo Herbst e o Relacionado Sistema de Euler-Lagrange

Enunciado do Problema
Este artigo aborda o caso crítico da desigualdade de Stein-Weiss invertida, focando especificamente em uma "desigualdade de tipo Herbst invertida". Enquanto as clássicas desigualdades de Hardy-Littlewood-Sobolev (HLS) e Stein-Weiss fornecem limites superiores para operadores integrais com expoentes positivos, e seus contrapartes invertidas (estabelecidas por Dou-Zhu e Chen et al.) fornecem limites inferiores para operadores com expoentes negativos, a forma crítica específica da desigualdade de Herbst envolvendo núcleos ponderados com restrições de expoentes específicos não havia sido totalmente explorada no cenário invertido.

Os autores investigam a desigualdade:
$$\left| \int_{\mathbb{R}^n} \int_{\mathbb{R}^n} |x - y|^{\alpha/q' - n} |y|^{\alpha/q'} g(x)h(y) \, dx dy \right| \geq C_{n,\alpha,p,q'} \|g\|_{L^{q'}(\mathbb{R}^n)} \|h\|_{L^p(\mathbb{R}^n)}$$
onde $n \geq 1$, $p, q' \in (0, 1)$, $\alpha > n$, e os parâmetros satisfazem a condição do tipo Sobolev $1/p + 1/q' - 2\alpha/(q'n) = 1$. Os autores observam que esta desigualdade não pode ser coberta pela desigualdade de Stein-Weiss invertida estabelecida anteriormente, pois esta última exige restrições de sinal específicas nos pesos que não são atendidas aqui.

Metodologia
O artigo emprega uma combinação de técnicas de análise harmônica, métodos variacionais e o estudo de sistemas integrais:

1. Prova da Desigualdade (Teorema 1.1):

   • Os autores utilizam a desigualdade de Young invertida em grupos localmente compactos (especificamente $\mathbb{R}^n$ com uma medida de Haar específica).
   • Eles empregam técnicas de simetrização (desigualdades de rearranjo) para reduzir o problema a funções radialmente simétricas e decrescentes.
   • Para o caso $n=1$, a prova baseia-se na aplicação direta da desigualdade de Young invertida após uma mudança de variáveis.
   • Para $n \geq 2$, os autores utilizam o Lema 2.3 (uma identidade integral sobre a esfera) para lidar com a integração angular, reduzindo o problema a uma desigualdade de convolução unidimensional que é então resolvida usando a desigualdade de Young invertida.

2. Existência de Funções Extremais (Teorema 1.2):

   • Para provar a existência de uma função $h$ que atinge a melhor constante, os autores adotam o esquema usado por Lieb para a desigualdade HLS clássica.
   • Eles constroem uma sequência minimizante $\{h_j\}$ e utilizam o rearranjo para assumir simetria radial e monotonicidade.
   • Argumentos de escala são usados para evitar que a sequência desapareça ou se concentre no infinito.
   • O teorema de seleção de Helly e o lema de Fatou são aplicados para extrair uma subsequência convergente e provar que a função limite é, de fato, um minimizador.

3. Análise do Sistema de Euler-Lagrange:

   • As funções extremais satisfazem um sistema acoplado de equações integrais:
     $$u(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} v^{-p_2}(y) |y|^\beta \, dy, \quad v(x) = \int_{\mathbb{R}^n} |x - y|^{\beta - n} u^{-p_1}(y) |x|^\beta \, dy$$
     onde $\beta = \alpha/q'$.
   • Resultados de Não-existência: Os autores utilizam argumentos de integrabilidade local e contradição (mostrando que soluções seriam infinitas) para provar que não existem soluções positivas em $L^\infty_{\text{loc}}(\mathbb{R}^n \setminus \{0\})$ quando $\beta < n$.
   • Comportamento Assintótico e Integrabilidade: Para $\beta > n$, os autores derivam taxas assintóticas precisas ($u(x) \sim |x|^{\beta-n}$, $v(x) \sim |x|^{2\beta-n}$ conforme $|x| \to \infty$) usando técnicas de estimativa iterativa. Eles também estabelecem condições de integrabilidade para os recíprocos das soluções.
   • Condições Necessárias: Usando uma identidade do tipo Pohozaev (derivada via integração por partes e diferenciação em relação à escala), eles provam que a condição do tipo Sobolev é uma condição necessária para a existência de soluções inteiras positivas diferenciáveis.

4. Estudo do Sistema de Herbst Clássico (Teoremas 1.5–1.7):

   • O artigo também analisa o sistema associado à desigualdade de Herbst padrão (não invertida), que envolve potências positivas no integrando.
   • Eles estabelecem resultados de não-existência para super-soluções positivas quando o produto dos expoentes $q_1 q_2 \neq 1$ ou quando desigualdades específicas ocorrem.
   • Eles provam a existência de super-soluções radialmente simétricas e soluções inferiores quando $q_1 q_2 = 1$ e os expoentes satisfazem limites específicos.

Principais Contribuições e Resultados

• Teorema 1.1 (Desigualdade de Herbst Invertida): Estabelece a validade da desigualdade de Herbst invertida para $p, q' \in (0, 1)$ e $\alpha > n$, um caso não coberto pela desigualdade de Stein-Weiss invertida.
• Teorema 1.2 (Existência de Extremais): Prova a existência de funções extremais não-negativas que atingem a melhor constante na desigualdade de Herbst invertida.
• Teorema 1.3 (Não-existência para $\beta < n$): Mostra que o sistema de Euler-Lagrange associado não possui soluções locais limitadas positivas se o expoente do peso $\beta$ for menor que a dimensão $n$.
• Teorema 1.4 (Assíntotas e Integrabilidade para $\beta > n$): Caracteriza o comportamento de soluções inteiras positivas quando $\beta > n$, fornecendo taxas assintóticas aguçadas em zero e no infinito, e determinando a integrabilidade de $u^{-1}$ e $v^{-1}$. Também confirma a necessidade da condição do tipo Sobolev para soluções diferenciáveis.
• Teoremas 1.5–1.7 (Análise do Sistema de Herbst): Fornece uma classificação abrangente da existência e não-existência de super-soluções positivas para o sistema relacionado à desigualdade de Herbst padrão, identificando $q_1 q_2 = 1$ como um limiar crítico.

Significância
O artigo afirma que esses resultados estendem a teoria das desigualdades aguçadas e sistemas integrais para um novo regime crítico envolvendo desigualdades invertidas com estruturas de pesos específicas. Os autores destacam que, enquanto a desigualdade de Herbst clássica (1.9) pode não admitir funções extremais, a versão invertida (1.20) admite, oferecendo uma nova perspectiva sobre a estrutura variacional desses problemas. A análise do sistema de Euler-Lagrange fornece condições necessárias para a existência de soluções e propriedades qualitativas detalhadas (simetria, integrabilidade, assíntotas) que são cruciais para compreender as formas geométricas dessas funções extremais. O trabalho contribui para a compreensão mais ampla de expoentes críticos em equações elípticas geométricas e equações integrais, com potencial relevância para problemas envolvendo limites de energia de Coulomb.