Homoclinic solutions for nonlocal equations and applications to the theory of atom dislocation

Resumo Técnico: Soluções Homoclínicas para Equações Não Locais e Aplicações à Teoria de Dislocação Atômica

Enunciado do Problema
Este artigo investiga a existência de soluções homoclínicas para sistemas de equações não locais regidos pelo Laplaciano fracionário. O estudo foca em dois cenários estruturais distintos para o termo de energia potencial, motivados pelo modelo de Peierls–Nabarro para dislocações de aresta atômica em cristais.

1. Potenciais Espacialmente Homogêneos: Os autores consideram a equação $(-\Delta)^s q = \nabla V(q)$ em $\mathbb{R} \setminus [a, b]$, onde $V$ é uma função espacialmente homogênea com um máximo global estrito na origem. A solução é sujeita a um perfil fixo $q_0$ no intervalo $[a, b]$. O objetivo é encontrar uma solução $q$ que decaia para zero no infinito (uma órbita homoclínica), representando uma configuração cristalina onde os átomos no infinito estão em uma posição de repouso, enquanto os átomos dentro de $[a, b]$ estão "pinçados" para longe do equilíbrio.
2. Potenciais Espacialmente Dependentes: Os autores analisam o sistema $(-\Delta)^s q(x) + L(x)q(x) = \nabla_q W(x, q(x))$, onde $L(x)$ é uma matriz simétrica, uniformemente definida positiva que cresce no infinito, e $W$ satisfaz a condição de Ambrosetti–Rabinowitz. Este cenário modela dislocações sob um potencial de confinamento.

Um desafio técnico central abordado é a falta de um formalismo Hamiltoniano conveniente no cenário não local, o que impede a aplicação direta das técnicas clássicas de Equações Diferenciais Ordinárias (EDOs) utilizadas em contrapartes locais (por exemplo, Rabinowitz e Tanaka).

Metodologia
Os autores empregam uma abordagem variacional combinada com a teoria de regularidade elíptica não local.

• Estrutura Variacional: Para o caso homogêneo, o problema é formulado como a minimização de um funcional de energia $I(q)$ sobre um conjunto $\Gamma$ de funções que satisfazem a condição de contorno em $[a, b]$. Para o caso espacialmente dependente, o Teorema do Passo de Montanha (Mountain Pass Theorem) é utilizado para encontrar pontos críticos do funcional de energia associado em um espaço de Hilbert $\tilde{H}^s$.
• Argumentos de Regularidade e Bootstrap: Devido à natureza não local do Laplaciano fracionário, os autores não podem confiar em argumentos de EDO para estabelecer o decaimento das soluções ou sua regularidade. Em vez disso, eles desenvolvem uma estratégia de "regularidade bootstrap". Isso envolve:
  • Estabelecer estimativas de regularidade interior e de contorno para soluções fracas usando resultados da literatura sobre espaços de Sobolev fracionários (por exemplo, Ros-Oton, Serra, Abatangelo).
  • Provar que soluções fracas limitadas possuem continuidade Hölder, o que permite a aplicação de lemas de decaimento.
  • Usar estimativas de energia para localizar níveis críticos e garantir a existência de minimizadores ou pontos críticos não triviais.
• Construção de Barreiras: Para o caso em que $s \in (0, 1/2]$ no problema espacialmente dependente, limites de energia padrão são insuficientes para garantir o decaimento no infinito devido aos coeficientes ilimitados de $L(x)$. Os autores constroem uma função barreira ad-hoc baseada na derivada de uma solução monótona de uma equação fracionária relacionada para controlar o comportamento da solução no infinito.
• Análise de Otimalidade: O artigo inclui uma discussão rigorosa sobre a necessidade das suposições, especificamente demonstrando que, para $s \in (0, 1/2]$, o problema de minimização trivializa (o ínfimo é zero) se o intervalo de restrição degenerar para um único ponto ($a=b$), ao passo que este não é o caso para $s \in (1/2, 1)$.

Principais Contribuições e Resultados

• Existência de Soluções Homoclínicas (Caso Homogêneo):

  • Teorema 1.2: Prova a existência de uma solução homoclínica para $s \in (0, 1)$ quando a restrição é um intervalo $[a, b]$ com $a < b$. A solução é mostrada como sendo em $C^\beta(\mathbb{R})$ e decai para zero no infinito.
  • Teorema 1.3: Estende o resultado para o caso $a = b$ (uma restrição de ponto único), mas apenas para a faixa $s \in (1/2, 1)$. A solução é simétrica em relação ao ponto de restrição.
  • Proposição 2.2: Demonstra que, para $s \in (0, 1/2]$, o caso $a=b$ não é admissível para soluções homoclínicas não triviais, pois o ínfimo da energia é atingido no nível zero.

• Existência de Soluções Homoclínicas (Caso Espacialmente Dependente):

  • Teorema 1.4: Estabelece a existência de soluções homoclínicas não triviais para $s \in (1/2, 1)$ sob a condição de Ambrosetti–Rabinowitz e uma condição de crescimento específica no potencial $W$. A solução é mostrada como sendo em $C^{s-1/2}$ e decai para zero.
  • Teorema 1.5: Prova a existência para $s \in (0, 1/2]$. Isso requer condições de crescimento adicionais para $W$ (limites polinomiais) e, crucialmente, uma suposição estrutural sobre a matriz $L(x)$ (dominância diagonal no infinito) para construir a barreira necessária. A solução é limitada e decai para zero.

• Regularidade e Decaimento:

  • O artigo fornece resultados detalhados de regularidade, mostrando que as soluções pertencem a espaços Hölder específicos ($C^\beta$, $C^{s-1/2}$, ou $C^{2s}$ localmente) dependendo do expoente fracionário e da regularidade do potencial.
  • Ele prova rigorosamente que essas soluções satisfazem $\lim_{x \to \pm \infty} q(x) = 0$, confirmando sua natureza homoclínica.

Significância e Alegações
O artigo afirma fornecer um "contraparte fracionária natural" para os resultados clássicos de Rabinowitz e Tanaka relativos a órbitas homoclínicas em sistemas locais. A principal significância reside em superar as dificuldades técnicas inerentes aos operadores não locais, especificamente a ausência de uma estrutura Hamiltoniana e as diferentes teorias de capacidade associadas aos espaços de Sobolev fracionários para diferentes valores de $s$.

No contexto do modelo de Peierls–Nabarro, os resultados oferecem uma justificativa matemática para a existência de configurações cristalinas específicas:

1. Para o potencial homogêneo, os resultados sugerem que um cristal pode suportar uma configuração onde os átomos estão em uma posição de repouso instável no infinito, desde que o potencial seja ligeiramente modificado e um "pinçamento" (deslocamento) seja aplicado em um ponto ou intervalo específico.
2. Para o potencial espacialmente dependente, os resultados indicam que configurações de equilíbrio no infinito são possíveis sob pequenas perturbações superquadráticas do potencial clássico, desde que o potencial de confinamento cresça suficientemente no infinito.

Os autores enfatizam que estas descobertas são derivadas estritamente através de métodos variacionais e teoria de regularidade não local, evitando as técnicas de EDO que falham no cenário não local. O artigo não propõe novos experimentos, mas fornece a existência teórica de soluções que correspondem a padrões de dislocação fisicamente relevantes.