Ground state solutions to Born-Infeld-Choquard problem

Resumo Técnico: Soluções de Estado Fundamental para o Problema de Born-Infeld-Choquard

Enunciado do Problema
Este artigo investiga a existência e as propriedades qualitativas de soluções de estado fundamental (soluções de energia mínima não triviais) para a equação de Born-Infeld-Choquard não local em $\mathbb{R}^N$ ($N \geq 3$):
$$\begin{cases} -\text{div}\left(\frac{\nabla u}{\sqrt{1 - |\nabla u|^2}}\right) + \omega u = (I_\alpha * |u|^p)|u|^{p-2}u, & \text{em } \mathbb{R}^N, \\ u(x) \to 0, & \text{quando } |x| \to +\infty, \end{cases}$$
onde $0 < \alpha < N$, $p > \frac{N+\alpha}{N}$ e $\omega \in \{0, 1\}$. O operador no lado esquerdo é o operador de curvatura média no espaço Lorentz-Minkowski, originário da eletrodinâmica não linear de Born-Infeld, que impõe a restrição física $|\nabla u| \leq 1$. O lado direito representa uma não localidade do tipo Choquard envolvendo o potencial de Riesz $I_\alpha$. O estudo abrange dois casos: o caso de massa positiva ($\omega = 1$) e o caso de massa zero ($\omega = 0$).

Desafios Metodológicos e Abordagem
A principal dificuldade na análise deste problema advém do operador de Born-Infeld. O funcional de energia associado não é da classe $C^1$ em seu domínio natural devido à restrição do gradiente $|\nabla u| \leq 1$ e ao comportamento singular do integrando quando $|\nabla u| \to 1$. Consequentemente, técnicas variacionais clássicas (como o padrão Teorema do Passo de Montanha) não podem ser aplicadas diretamente.

Para superar isso, os autores empregam um arcabouço de teoria de pontos críticos não suaves (baseado no trabalho de Szulkin). A metodologia envolve:

1. Configuração Funcional: Definição de um espaço de Banach reflexivo $X_\omega$ e um domínio efetivo $D(\Psi_0)$ onde a restrição do gradiente é mantida. O funcional de energia é decomposto em uma parte convexa e semicontínua inferior $\Psi$ (o termo de Born-Infeld) e uma parte $C^1$ $\Phi$ (os termos de massa e não local).
2. Variedade de Pohožaev: Construção de uma variedade do tipo Pohožaev $\mathcal{M}_\omega = \{u \in D(\Psi_0) \setminus \{0\} : P_\omega(u) = 0\}$, onde $P_\omega$ é o funcional de Pohožaev derivado das propriedades de escala da equação. O nível de estado fundamental $c_\omega$ é definido como o ínfimo do funcional de energia nesta variedade.
3. Concentração-Compactação: Utilização de uma decomposição de perfil adaptada ao cenário não local e às restrições específicas do operador de Born-Infeld. Isso inclui a prova de um tipo de lemma de Brezis-Lieb não local e um lemma de desaparecimento para lidar com a falta de compacidade em $\mathbb{R}^N$.
4. Teorema de Ponto Crítico Abstrato: Prova de que um minimizador na variedade de Pohožaev corresponde a um ponto crítico do funcional não suave no sentido convexo, o que implica uma solução fraca para a equação.

Principais Contribuições e Resultados

• Existência de Estados Fundamentais (Massa Positiva, $\omega=1$):
  Os autores provam que, para $p > \frac{N+\alpha}{N}$, o ínfimo $c_1$ é alcançado por uma função $u_1 \in \mathcal{M}_1$. Este minimizador é um estado fundamental clássico. A prova baseia-se em mostrar que as sequências minimizantes são limitadas e, após translações, convergem fortemente para um limite não trivial.

• Existência de Estados Fundamentais e Desigualdade de Sobolev (Massa Zero, $\omega=0$):
  Para o caso de massa zero, a existência de um estado fundamental é estabelecida para $p > \frac{N+\alpha}{N-2}$. Além disso, os autores caracterizam a melhor constante $C_{p,\alpha}$ para uma desigualdade do tipo Sobolev não local:
  $$\int_{\mathbb{R}^N} \left(1 - \sqrt{1 - |\nabla u|^2}\right) dx \geq C_{p,\alpha} \left( \int_{\mathbb{R}^N} (I_\alpha * |u|^p)|u|^p dx \right)^{\frac{N}{N+\alpha+2p}}.$$
  Eles mostram que os minimizadores desta desigualdade são precisamente as soluções de estado fundamental da equação com $\omega=0$.

• Propriedades Qualitativas:
  O artigo estabelece que qualquer solução de estado fundamental $u$ possui as seguintes propriedades:

  • Sinal Constante: $u$ é estritamente positiva ou estritamente negativa em $\mathbb{R}^N$.
  • Simetria Radial: $u$ é radialmente simétrica em torno de algum ponto $x_0 \in \mathbb{R}^N$.
  • Decaimento Monótono: $u$ decai monotonicamente para zero quando $|x| \to \infty$.
    Essas propriedades são derivadas utilizando técnicas de polarização e o princípio do máximo forte, adaptadas aos contextos não suaves e não locais.

• Não Existência em Casos Críticos:
  Os autores demonstram a não existência de soluções fracas não triviais nos casos críticos onde $p = \frac{N+\alpha}{N}$ (para $\omega=1$) e $p = \frac{N+\alpha}{N-2}$ (para $\omega=0$), desde que o termo do gradiente satisfaça condições específicas de integrabilidade.

Significância e Alegações
O artigo afirma resolver a existência de estados fundamentais para o problema de Born-Infeld-Choquard, um caso que permanecia em aberto devido à combinação da restrição de gradiente relativística e da não localidade. Os autores enfatizam que sua abordagem estende a teoria de pontos críticos não suaves para problemas fortemente indefinidos e cenários não locais.

Especificamente, o artigo destaca que:

1. O lemma abstrato desenvolvido (Lemma A.1) referente a minimizadores restritos em conjuntos adequados é aplicável não apenas ao problema de Born-Infeld-Choquard, mas também a equações de Schrödinger fortemente indefinidas nos contextos de Szulkin e Weth.
2. Os resultados fornecem a primeira prova de simetria radial e decaimento monotônico para estados fundamentais no caso local ($\alpha=0$) da equação de Born-Infeld, uma propriedade não estabelecida anteriormente na literatura (especificamente referenciando [7]).
3. O trabalho preenche a lacuna entre problemas locais de Born-Infeld e problemas não locais de Choquard, oferecendo um arcabouço variacional unificado para equações impulsionadas pelo operador de curvatura média no espaço de Minkowski.

Os autores não propõem aplicações experimentais ou implicações futuras além do escopo matemático de estabelecer existência, regularidade e simetria para estas equações diferenciais parciais específicas.