Ground State Solutions For Local-Nonlocal Shrodinger Equations In the Presence Of Two Critical Exponents

Resumo Técnico: Soluções de Estado Fundamental para Equações de Schrödinger Local-Não Local com Dois Expoentes Críticos

1. O Problema Investigado

O artigo aborda a existência de soluções de estado fundamental (ground state solutions) para uma classe de equações de Schrödinger que combinam operadores locais e não locais, na presença de duas não linearidades críticas simultâneas. A equação estudada é:

$$-\lambda\Delta u + \mu(-\Delta)^s u = f(u), \quad x \in \mathbb{R}^N$$

Onde:

• $N \ge 3$ e $0 < s < 1$.
• $-\Delta$ é o Laplaciano clássico (operador local).
• $(-\Delta)^s$ é o Laplaciano fracionário (operador não local), definido via transformada de Fourier.
• $\lambda, \mu > 0$.

A principal dificuldade reside na não linearidade $f(u)$, que contém dois expoentes críticos associados a cada operador:

1. O expoente crítico de Sobolev fracionário: $2^*_s = \frac{2N}{N-2s}$.
2. O expoente crítico de Sobolev clássico: $2^* = \frac{2N}{N-2}$.

A não linearidade específica analisada é:
$$f(u) = |u|^{2^*_s-2}u + \beta|u|^{p-2}u + |u|^{2^*-2}u$$
com $p \in (2^*_s, 2^*)$ e $\beta > 0$.

O problema é desafiador porque métodos clássicos desenvolvidos para casos puramente locais ($\mu=0$) ou puramente não locais ($\lambda=0$) falham quando ambos os operadores e ambos os expoentes críticos estão presentes simultaneamente. A interação entre os dois expoentes críticos cria uma situação sem precedentes na teoria de EDPs (Equações Diferenciais Parciais).

2. Metodologia

Os autores utilizam uma abordagem variacional sofisticada, estruturada nos seguintes pilares:

• Espaço de Sobolev Misto: Definição de um espaço de energia $X$, que é o completamento de $C_0^\infty(\mathbb{R}^N)$ sob a norma que combina a energia do gradiente clássico e a seminorma fracionária:
  $$\|u\|_X^2 = \int_{\mathbb{R}^N} |\nabla u|^2 dx + \iint_{\mathbb{R}^N \times \mathbb{R}^N} \frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}} dx dy$$
  Este espaço permite o tratamento unificado dos dois operadores.

• Geometria do Passo da Montanha e Variedade de Nehari:

  • O funcional de energia associado é definido e demonstrado satisfazer a geometria do "Passo da Montanha".
  • A variedade de Nehari é utilizada para restringir a busca de soluções críticas, garantindo que as soluções encontradas sejam não triviais.

• Generalização do Teorema de Tradução de Lieb:

  • Este é o ponto central da inovação metodológica. Em problemas com expoentes críticos, a falta de compacidade (devido à invariância por translação e dilatação) impede a convergência forte de sequências de Palais-Smale.
  • Os autores provam uma generalização do Teorema de Tradução de Lieb adaptada para o caso misto com dois expoentes críticos. Eles demonstram que, se uma sequência limitada em $X$ tem massa não nula em ambos os expoentes críticos ($2^*_s$ e $2^*$), existe uma sequência de translações $\{x_n\}$ tal que a sequência transladada converge fortemente localmente para uma função não nula.
  • Esta ferramenta é crucial para recuperar a compacidade e provar a existência de soluções.

• Estimativas de Regularidade ($L^\infty$):

  • Para provar que as soluções são limitadas, os autores empregam um método de iteração de Moser (Moser iteration), adaptado para operadores mistos, utilizando funções de corte e desigualdades de Sobolev-Hölder.

3. Principais Resultados

• Teorema 1.2 (Existência de Solução de Estado Fundamental):
  Para $N \ge 3$, $0 < s < 1$ e $p \in (2^*_s, 2^*)$, existe um limiar $\bar{\beta} \in (0, +\infty)$ tal que, para qualquer $\beta > \bar{\beta}$, a equação possui uma solução de estado fundamental radial.

  • Nota: A condição $\beta > \bar{\beta}$ é necessária para garantir que o nível de energia do "Passo da Montanha" fique abaixo do limiar crítico que permitiria a perda de massa (concentração) devido aos expoentes críticos.

• Teorema 1.3 (Regularidade e Limitação):
  Sob condições gerais de crescimento para a não linearidade $f(u)$ (limitada por combinações de $t^{2^*_s}$ e $t^{2^*}$), as soluções não negativas da equação pertencem a $L^\infty(\mathbb{R}^N)$. Isso garante que as soluções são limitadas e, portanto, bem-comportadas.

• Positividade e Simetria:
  O artigo demonstra que as soluções de estado fundamental podem ser escolhidas como não negativas e, através de rearranjos simétricos decrescentes, que existem soluções radialmente simétricas.

4. Contribuições Chave

1. Solução de um Problema Aberto: O trabalho resolve completamente o caso crítico para operadores mistos com dois expoentes críticos, uma situação que os métodos existentes não conseguiam tratar.
2. Novo Teorema de Tradução: A generalização do Teorema de Lieb para espaços com duas normas críticas distintas é uma contribuição teórica significativa que abre caminho para a resolução de problemas similares em outras EDPs mistas.
3. Unificação de Técnicas: O artigo integra técnicas de análise funcional clássica (Sobolev) com teoria de operadores fracionários e análise variacional não linear de forma coerente.

5. Significado e Impacto

Este trabalho é fundamental para a teoria de EDPs não lineares e para a modelagem física onde processos de difusão mista ocorrem.

• Aplicações Físicas e Biológicas: A equação modela dinâmicas populacionais com padrões de forrageamento de "longo salto" (difusão não local) combinados com busca local, e a propagação de doenças com restrições regionais e globais.
• Avanço Teórico: A demonstração de que é possível superar a perda de compacidade na presença de dois expoentes críticos simultâneos expande os limites do que é conhecido na análise variacional. O método desenvolvido serve como um modelo para atacar problemas futuros envolvendo múltiplos operadores críticos ou múltiplas escalas de não linearidade.

Em suma, o artigo fornece uma solução rigorosa e completa para um problema complexo de fronteira na análise matemática, estabelecendo novas ferramentas (o teorema de Lieb generalizado) que serão essenciais para pesquisas futuras em equações de Schrödinger mistas.