A mixed local-nonlocal Hénon problem in $\mathbb{R}^N$

Resumo Técnico: Um Problema de Hénon Misto Local-Não Local em $\mathbb{R}^N$

Enunciado do Problema
Este artigo investiga a existência, regularidade e não existência de soluções radiais positivas para uma equação do tipo Hénon impulsionada por um operador misto local-não local em todo o espaço $\mathbb{R}^N$. O problema é formulado como:
$$\begin{cases} \mathcal{L}_{s,p,\gamma} u + |x|^\beta |u|^{p-2}u = |x|^\alpha |u|^{q-2}u & \text{em } \mathbb{R}^N, \\ u > 0, \end{cases}$$
onde o operador $\mathcal{L}_{s,p,\gamma}$ é definido como uma combinação convexa do $p$-Laplaciano local e do $p$-Laplaciano fracionário:
$$\mathcal{L}_{s,p,\gamma} u := \gamma(-\Delta_p)u + (1-\gamma)(-\Delta_p)^s u.$$
Aqui, $\gamma \in [0, 1]$ é um parâmetro de mistura, $s \in (0, 1]$ é a ordem fracionária (com $s=1$ correspondendo ao caso local) e $p > 1$. A equação inclui um potencial de confinamento $|x|^\beta |u|^{p-2}u$ no lado esquerdo para prevenir a perda de massa no infinito, um fenômeno que tipicamente impede a existência em domínios não limitados para equações de Hénon puras. O lado direito apresenta o peso de Hénon $|x|^\alpha$.

Metodologia
Os autores empregam métodos variacionais dentro de um arcabouço de análise funcional adaptado para funções radiais.

1. Configuração Funcional: O problema é estudado no espaço de Sobolev fracionário ponderado de funções radiais, denotado por $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$. O funcional de energia associado ao problema é:
   $$J(u) = \frac{\gamma}{p}\|\nabla u\|_p^p + \frac{1-\gamma}{p}[u]_{s,p}^p + \frac{1}{p}\|u\|_{p,\beta}^p - \frac{1}{q}\|u\|_{q,\alpha}^q.$$
2. Compacidade: Um desafio técnico central em domínios não limitados é a falta de imersões compactas. Os autores estabelecem uma imersão compacta do espaço radial ponderado $W^{s,p}_{\beta, \text{rad}}(\mathbb{R}^N)$ no espaço de Lebesgue ponderado $L^q_\alpha(\mathbb{R}^N)$. Isso é alcançado combinando o lema radial de Strauss (que fornece estimativas de decaimento para funções radiais) com lemas generalizados do tipo Rother e estimativas específicas sobre a interação entre os pesos $\alpha$ e $\beta$.
3. Existência: A existência de um ponto crítico não trivial é provada usando um teorema do tipo Montanha Passante (especificamente a versão de Brezis-Nirenberg). A prova verifica as condições geométricas (mínimo local em zero e um caminho onde o funcional torna-se negativo) e a condição de Palais-Smale, esta última baseando-se na imersão compacta estabelecida.
4. Regularidade: A limitação das soluções fracas é estabelecida via um esquema de iteração de De Giorgi adaptado ao operador misto e ao cenário ponderado.
5. Não Existência: Uma identidade do tipo Pohozaev é utilizada para derivar um resultado de não existência para expoentes supercríticos. Isso envolve um argumento de escala e um resultado de Pohozaev generalizado para domínios não limitados, exigindo um controle ponderado do gradiente.

Contribuições Principais e Resultados

• Teorema de Existência (Teorema 1.1): Os autores provam a existência de uma solução radial fraca sob a condição de que o expoente $q$ esteja no intervalo subcrítico $p < q < p^*_{\gamma,s,\alpha}$, onde $p^*_{\gamma,s,\alpha}$ é o expoente de Sobolev crítico adaptado ao operador misto e aos pesos. Crucialmente, a existência é garantida se os parâmetros satisfizerem a desigualdade:
  $$\alpha - \beta + (q-p)\left(1 - \frac{N}{p}\right) < 0.$$
  Este resultado estende resultados de existência prévios para equações de Hénon puramente locais ($\gamma=1$) e puramente fracionárias ($\gamma=0$) para o caso misto em domínios não limitados.

• Regularidade (Teorema 1.2): É mostrado que qualquer solução radial fraca $u$ obtida no teorema de existência é essencialmente limitada ($u \in L^\infty(\mathbb{R}^N)$). Este é um resultado não trivial dada a natureza singular dos pesos e do operador não local.

• Limiar de Não Existência (Teorema 1.3): O artigo estabelece que $p^*_{\gamma,s,\alpha}$ serve como um limiar agudo para a existência. Especificamente, para $q > p^*_{\gamma,s,\alpha}$, não existem soluções no espaço $\tilde{X}(\mathbb{R}^N)$ (definido como soluções limitadas com controle de gradiente ponderado $|\nabla u(x)||x| \in L^r$). Isso confirma que o expoente crítico atua como uma barreira para a existência de soluções limitadas com decaimento apropriado.

Significância e Escopo
O artigo afirma estender a teoria das equações do tipo Hénon de domínios limitados e configurações puramente locais ou fracionárias para o cenário mais complexo de operadores mistos local-não locais no espaço $\mathbb{R}^N$ inteiro.

• Generalização: Os resultados unificam e generalizam o trabalho anterior de Ni (em domínios limitados) e estudos subsequentes sobre equações de Hénon fracionárias em $\mathbb{R}^N$ (ex: [2, 6, 14, 20]).
• Intervalo de Parâmetros: Os autores observam que sua condição derivada (1.6) melhora o intervalo de parâmetros obtido em [14] para o caso específico de $p=2$ e $\beta=2$.
• Rigor Metodológico: O trabalho fornece um arcabouço funcional rigoroso para operadores mistos, demonstrando que a compacidade necessária para métodos variacionais pode ser recuperada em domínios não limitados através da interação entre simetria radial e normas ponderadas.

O artigo não propõe novos modelos físicos ou aplicações experimentais, mas foca estritamente na análise matemática do problema elíptico, fornecendo uma base teórica para a existência e propriedades das soluções para esta classe de operadores mistos.