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

Sintesi Tecnica: Soluzioni Omocline per Equazioni Nonlocali e Applicazioni alla Teoria della Dislocazione Atomica

Enunciato del Problema
Questo articolo investiga l'esistenza di soluzioni omocline per sistemi di equazioni nonlocali guidati dal Laplaciano frazionario. Lo studio si concentra su due distinti scenari strutturali per il termine di energia potenziale, motivati dal modello di Peierls–Nabarro per le dislocazioni di bordo atomiche nei cristalli.

1. Potenziali Spazialmente Omogenei: Gli autori considerano l'equazione $(-\Delta)^s q = \nabla V(q)$ su $\mathbb{R} \setminus [a, b]$, dove $V$ è una funzione spazialmente omogenea con un massimo globale stretto nell'origine. La soluzione è vincolata a un profilo fisso $q_0$ sull'intervallo $[a, b]$. L'obiettivo è trovare una soluzione $q$ che decada a zero all'infinito (un'orbita omoclina), rappresentando una configurazione cristallina in cui gli atomi all'infinito si trovano in una posizione di riposo, mentre gli atomi all'interno di $[a, b]$ sono "pizzicati" lontano dall'equilibrio.
2. Potenziali Spazialmente Dipendenti: Gli autori analizzano il sistema $(-\Delta)^s q(x) + L(x)q(x) = \nabla_q W(x, q(x))$, dove $L(x)$ è una matrice simmetrica, uniformemente definita positiva che cresce all'infinito, e $W$ soddisfa la condizione di Ambrosetti–Rabinowitz. Questo scenario modella le dislocazioni sotto un potenziale di confinamento.

Una sfida tecnica centrale affrontata è la mancanza di un conveniente formalismo Hamiltoniano nel contesto nonlocale, il che impedisce l'applicazione diretta delle classiche tecniche di equazioni differenziali ordinarie (ODE) utilizzate nei controparti locali (ad esempio, Rabinowitz e Tanaka).

Metodologia
Gli autori impiegano un approccio variazionale combinato con la teoria della regolarità ellittica nonlocale.

• Framework Variazionale: Per il caso omogeneo, il problema è formulato come la minimizzazione di un funzionale di energia $I(q)$ su un insieme $\Gamma$ di funzioni che soddisfano la condizione al contorno su $[a, b]$. Per il caso spazialmente dipendente, viene utilizzato il Teorema del Passo Montano (Mountain Pass Theorem) per trovare punti critici del funzionale di energia associato in uno spazio di Hilbert $\tilde{H}^s$.
• Argomenti di Regolarità e Bootstrap: A causa della natura nonlocale del Laplaciano frazionario, gli autori non possono fare affidamento sugli argomenti di ODE per stabilire il decadimento delle soluzioni o la loro regolarità. Invece, sviluppano una strategia di "regolarità bootstrap". Ciò comporta:
  • Stabilire stime di regolarità interiore e al contorno per le soluzioni deboli utilizzando i risultati della letteratura sugli spazi di Sobolev frazionari (ad esempio, Ros-Oton, Serra, Abatangelo).
  • Dimostrare che le soluzioni deboli limitate possiedono continuità Hölder, il che consente l'applicazione di lemmi di decadimento.
  • Utilizzare stime di energia per localizzare i livelli critici e garantire l'esistenza di minimizzatori o punti critici non triviali.
• Costruzione di Barriere: Per il caso in cui $s \in (0, 1/2]$ nel problema spazialmente dipendente, i limiti di energia standard sono insufficienti a garantire il decadimento all'infinito a causa dei coefficienti illimitati di $L(x)$. Gli autori costruiscono una funzione barriera ad hoc basata sulla derivata di una soluzione monotona di un'equazione frazionaria correlata per controllare il comportamento della soluzione all'infinito.
• Analisi dell'Ottimalità: Il documento include una discussione rigorosa sulla necessità delle assunzioni, dimostrando specificamente che per $s \in (0, 1/2]$, il problema di minimizzazione trivializza (l'infimo è zero) se l'intervallo di vincolo degenera in un singolo punto ($a=b$), mentre ciò non accade per $s \in (1/2, 1)$.

Contributi Chiave e Risultati

• Esistenza di Soluzioni Omocline (Caso Omogeneo):

  • Teorema 1.2: Dimostra l'esistenza di una soluzione omoclina per $s \in (0, 1)$ quando il vincolo è un intervallo $[a, b]$ con $a < b$. La soluzione è mostrata essere in $C^\beta(\mathbb{R})$ e decade a zero all'infinito.
  • Teorema 1.3: Estende il risultato al caso $a = b$ (un vincolo di un singolo punto), ma solo per l'intervallo $s \in (1/2, 1)$. La soluzione è simmetrica rispetto al punto di vincolo.
  • Proposizione 2.2: Dimostra che per $s \in (0, 1/2]$, il caso $a=b$ non è ammissibile per soluzioni omocline non triviali, poiché l'infimo dell'energia viene raggiunto al livello zero.

• Esistenza di Soluzioni Omocline (Caso Spazialmente Dipendente):

  • Teorema 1.4: Stabilisce l'esistenza di soluzioni omocline non triviali per $s \in (1/2, 1)$ sotto la condizione di Ambrosetti–Rabinowitz e una specifica condizione di crescita sul potenziale $W$. La soluzione è mostrata essere in $C^{s-1/2}$ e decade a zero.
  • Teorema 1.5: Dimostra l'esistenza per $s \in (1/2, 1]$. Ciò richiede condizioni di crescita aggiuntive su $W$ (limiti polinomiali) e, crucialmente, un'assunzione strutturale sulla matrice $L(x)$ (dominanza diagonale all'infinito) per costruire la barriera necessaria. La soluzione è limitata e decade a zero.

• Regolarità e Decadimento:

  • Il documento fornisce dettagliati risultati di regolarità, mostrando che le soluzioni appartengono a specifici spazi Hölder ($C^\beta$, $C^{s-1/2}$, o $C^{2s}$ localmente) a seconda dell'esponente frazionario e della regolarità del potenziale.
  • Dimostra rigorosamente che queste soluzioni soddisfano $\lim_{x \to \pm \infty} q(x) = 0$, confermando la loro natura omoclina.

Significato e Rivendicazioni
Il documento sostiene di fornire un "naturale controparte frazionaria" ai risultati classici di Rabinowitz e Tanaka riguardanti le orbite omocline in sistemi locali. La significatività primaria risiede nel superare le difficoltà tecniche inerenti agli operatori nonlocali, specificamente l'assenza di una struttura Hamiltoniana e le diverse teorie della capacità associate agli spazi di Sobolev frazionari per diversi valori di $s$.

Nel contesto del modello di Peierls–Nabarro, i risultati offrono una giustificazione matematica per l'esistenza di specifiche configurazioni cristalline:

1. Per il potenziale omogeneo, i risultati suggeriscono che un cristallo può sostenere una configurazione in cui gli atomi sono in una posizione di riposo instabile all'infinito, a condizione che il potenziale sia leggermente modificato e venga applicato un "pizzicamento" (spostamento) in un punto o intervallo specifico.
2. Per il potenziale spazialmente dipendente, i risultati indicano che le configurazioni di equilibrio all'infinito sono possibili sotto piccole perturbazioni superquadratiche del potenziale classico, a condizione che il potenziale di confinamento cresca sufficientemente all'infinito.

Gli autori sottolineano che questi risultati sono derivati strettamente attraverso metodi variazionali e teoria della regolarità nonlocale, evitando le tecniche di ODE che falliscono nel contesto nonlocale. Il documento non propone nuovi setup sperimentali, ma fornisce l'esistenza teorica di soluzioni che corrispondono a pattern di dislocazione fisicamente rilevanti.