Radial symmetry of positive solutions of an integral system associated with the reversed Stein-Weiss inequality

Resumo Técnico: Simetria Radial de Soluções Positivas de um Sistema Integral Associado à Desigualdade de Stein-Weiss Reversa

Enunciado do Problema
Este artigo investiga a simetria radial e a monotonicidade de soluções positivas de um sistema específico de equações integrais que surge como o sistema de Euler-Lagrange para funções extremais da desigualdade de Stein-Weiss reversa. O sistema é dado por:
$$\begin{cases} u(x) = \int_{\mathbb{R}^n} \frac{|x|^\alpha v^{-p_2}(y) |y|^\beta}{|x-y|^\Lambda} dy, \\ v(x) = \int_{\mathbb{R}^n} \frac{|x|^\beta u^{-p_1}(y) |y|^\alpha}{|x-y|^\Lambda} dy, \end{cases}$$
onde $n \ge 1$, $\Lambda > 0$, $p_1, p_2 > 1$, e os pesos satisfazem restrições específicas envolvendo $\alpha, \beta$. Os autores consideram soluções $(u, v)$ que são positivas quase em toda parte em $\mathbb{R}^n$ e pertencem a $L^\infty_{loc}(\mathbb{R}^n) \times L^\infty_{loc}(\mathbb{R}^n)$.

O problema estende trabalhos anteriores sobre as desigualdades de Hardy-Littlewood-Sobolev (HLS) e Stein-Weiss. Enquanto Chen, Li e Ou estabeleceram a simetria radial para sistemas HLS e Stein-Weiss padrão usando o método de planos móveis, e Dou, Zhu e Liu abordaram a desigualdade HLS reversa, a simetria radial para o sistema Stein-Weiss reverso (que envolve pesos duplos e expoentes negativos no integrando) permanecia uma questão em aberto.

Metodologia
Os autores empregam o método de planos móveis em forma integral, uma técnica originalmente desenvolvida por Chen, Li e Ou e posteriormente refinada por Dou, Guo e Zhu para sistemas com expoentes negativos. A prova procede através dos seguintes passos técnicos:

1. Funções Auxiliares e Regularidade: Para lidar com os pesos duplos ($|x|^\alpha, |y|^\beta$) e a singularidade na origem, os autores introduzem funções auxiliares:
   $$t(x) = |x|^{-\alpha}u(x), \quad w(x) = |x|^{-\alpha/p_1}u(x), \quad s(x) = |x|^{-\beta}v(x).$$
   Eles primeiro estabelecem o comportamento assintótico das soluções $(u, v)$ no infinito e próximo à origem (Lema 2.1). Crucialmente, eles provam que as funções auxiliares $t$ e $s$ são contínuas em $\mathbb{R}^n$ e diferenciáveis em $\mathbb{R}^n \setminus \{0\}$, e derivam estimativas precisas para seus gradientes (Lemmas 2.2 e 2.3). Essas estimativas são necessárias para gerenciar as singularidades próximas à origem durante o processo de plano móvel.

2. Representação Integral: Os autores derivam representações integrais para as diferenças $t(x) - t_\lambda(x)$ e $s(x) - s_\lambda(x)$, onde $x_\lambda$ denota a reflexão de $x$ através do plano $T_\lambda = \{x_1 = \lambda\}$. Essas representações envolvem o núcleo $G(x, y) = |x_\lambda - y|^\Lambda - |x - y|^\Lambda$ (Lema 2.4).

3. O Argumento do Plano Móvel:

   • Ponto de Partida: Para $\lambda$ suficientemente negativo, os autores mostram que $t(x) \ge t_\lambda(x)$ e $s(x) \ge s_\lambda(x)$ ocorrem na região $\Sigma_\lambda = \{x \in \mathbb{R}^n \mid x_1 \le \lambda\}$. Isso se baseia no comportamento assintótico das soluções no infinito e nas taxas de crescimento específicas das funções auxiliares.
   • Movimentação do Plano: O plano $T_\lambda$ é movido para a direita enquanto as desigualdades se mantiverem. Os autores definem $\lambda_0 = \sup \{ \mu < 0 \mid \text{as desigualdades se mantêm para todo } \lambda < \mu \}$.
   • Contradição: Eles assumem que $\lambda_0 < 0$ e derivam uma contradição. Ao analisar as representações integrais e utilizar a positividade estrita do núcleo $G(x, y)$ e a monotonicidade das funções de potência envolvidas, eles mostram que, se as desigualdades se mantêm até $\lambda_0$, elas devem ocorrer estritamente além de $\lambda_0$, a menos que a solução já seja simétrica. A prova lida cuidadosamente com a singularidade na origem, dividindo os domínios de integração e utilizando as estimativas de gradiente estabelecidas.
   • Conclusão da Simetria: A contradição implica que $\lambda_0 = 0$. Como a direção do eixo $x_1$ é arbitrária, as soluções $w$ e $s$ (e, consequentemente, $u$ e $v$) são radialmente simétricas em relação à origem.

Principais Contribuições e Resultados
O resultado principal é o Teorema 1.1, que afirma que, sob as condições $n \ge 1$, $\Lambda > 0$, $\min\{p_1, p_2\} > 1$, e limites específicos nos pesos $\alpha$ e $\beta$, qualquer par de soluções positivas $(u, v)$ para o sistema (1.12) é radialmente simétrico e monotonicamente crescente em relação à origem.

As contribuições técnicas específicas do artigo incluem:

• A extensão do método de planos móveis para o sistema Stein-Weiss reverso, que apresenta pesos duplos e expoentes negativos ($v^{-p_2}, u^{-p_1}$).
• A introdução e utilização de funções auxiliares específicas ($t, w, s$) para desacoplar os pesos dos núcleos integrais, permitindo a aplicação do método de planos móveis apesar da ausência de uma desigualdade de Stein-Weiss reversa direta para o sistema.
• O fornecimento de estimativas rigorosas para os gradientes das funções auxiliares perto da origem e no infinito para garantir a validade das estimativas integrais necessárias para o argumento do plano móvel.

Significância e Alegações
O artigo afirma resolver a questão da simetria radial para as funções extremais da desigualdade de Stein-Weiss reversa, um problema motivado pelo trabalho de Chen, Liu, Lu e Tao (2018), que estabeleceram a desigualdade, mas não classificaram a simetria de seus extremais.

Os autores posicionam seu trabalho como uma progressão natural no estudo de equações conformais e sistemas integrais. Eles observam que, embora a desigualdade de Stein-Weiss não se aplique diretamente ao seu sistema da mesma forma que ocorre no sistema Stein-Weiss padrão (como em Jin e Li, 2006), o esquema desenvolvido por Dou, Guo e Zhu para a desigualdade HLS reversa pode ser adaptado com sucesso. O artigo enfatiza que a natureza de peso duplo do sistema apresenta uma dificuldade que requer a introdução das funções auxiliares para lidar efetivamente com a singularidade na origem.

O trabalho não propõe novas aplicações ou configurações experimentais, mas contribui para a compreensão teórica da estrutura das soluções de equações integrais não lineares que surgem na física matemática e na teoria das melhores constantes em desigualdades funcionais.