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

Resumen Técnico: Soluciones Homoclínicas para Ecuaciones No Locales y Aplicaciones a la Teoría de Dislocación Atómica

Planteamiento del Problema
Este artículo investiga la existencia de soluciones homoclínicas para sistemas de ecuaciones no locales impulsadas por el Laplaciano fraccionario. El estudio se centra en dos escenarios estructurales distintos para el término de energía potencial, motivados por el modelo de Peierls–Nabarro para dislocaciones de borde atómicas en cristales.

1. Potenciales Espacialmente Homogéneos: Los autores consideran la ecuación $(-\Delta)^s q = \nabla V(q)$ en $\mathbb{R} \setminus [a, b]$, donde $V$ es una función espacialmente homogénea con un máximo global estricto en el origen. La solución está restringida a un perfil fijo $q_0$ en el intervalo $[a, b]$. El objetivo es encontrar una solución $q$ que decaiga a cero en el infinito (una órbita homoclínica), representando una configuración cristalina donde los átomos en el infinito están en una posición de reposo, mientras que los átomos dentro de $[a, b]$ están "pellizcados" lejos del equilibrio.
2. Potenciales Espacialmente Dependientes: Los autores analizan el sistema $(-\Delta)^s q(x) + L(x)q(x) = \nabla_q W(x, q(x))$, donde $L(x)$ es una matriz simétrica, uniformemente definida positiva que crece en el infinito, y $W$ satisface la condición de Ambrosetti–Rabinowitz. Este entorno modela dislocaciones bajo un potencial de confinamiento.

Un desafío técnico central abordado es la falta de un formalismo hamiltoniano conveniente en el entorno no local, lo que impide la aplicación directa de las técnicas clásicas de Ecuaciones Diferenciales Ordinarias (EDO) utilizadas en sus contrapartes locales (por ejemplo, Rabinowitz y Tanaka).

Metodología
Los autores emplean un enfoque variacional combinado con la teoría de regularidad elíptica no local.

• Marco Variacional: Para el caso homogéneo, el problema se formula como la minimización de un funcional de energía $I(q)$ sobre un conjunto $\Gamma$ de funciones que satisfacen la condición de contorno en $[a, b]$. Para el caso espacialmente dependiente, se utiliza el Teorema del Paso de Montaña para encontrar puntos críticos del funcional de energía asociado en un espacio de Hilbert $\tilde{H}^s$.
• Argumentos de Regularidad y Bootstrap: Debido a la naturaleza no local del Laplaciano fraccionario, los autores no pueden confiar en argumentos de EDO para establecer el decaimiento de las soluciones o su regularidad. En su lugar, desarrollan una estrategia de "regularidad bootstrap". Esto implica:
  • Establecer estimaciones de regularidad interior y de frontera para soluciones débiles utilizando resultados de la literatura sobre espacios de Sobolev fraccionarios (por ejemplo, Ros-Oton, Serra, Abatangelo).
  • Demostrar que las soluciones débiles acotadas poseen continuidad de Hölder, lo que permite la aplicación de lemas de decaimiento.
  • Utilizar estimaciones de energía para localizar niveles críticos y asegurar la existencia de minimizadores o puntos críticos no triviales.
• Construcción de Barreras: Para el caso donde $s \in (0, 1/2]$ en el problema espacialmente dependiente, las cotas de energía estándar son insuficientes para garantizar el decaimiento en el infinito debido a los coeficientes no acotados de $L(x)$. Los autores construyen una función barrera ad-hoc basada en la derivada de una solución monótona de una ecuación fraccionaria relacionada para controlar el comportamiento de la solución en el infinito.
• Análisis de Optimalidad: El artículo incluye una discusión rigurosa sobre la necesidad de los supuestos, demostrando específicamente que para $s \in (0, 1/2]$, el problema de minimización se trivializa (el ínfimo es cero) si el intervalo de restricción degenera a un solo punto ($a=b$), mientras que esto no ocurre para $s \in (1/2, 1)$.

Contribuciones Clave y Resultados

• Existencia de Soluciones Homoclínicas (Caso Homogéneo):

  • Teorema 1.2: Demuestra la existencia de una solución homoclínica para $s \in (0, 1)$ cuando la restricción es un intervalo $[a, b]$ con $a < b$. Se muestra que la solución pertenece a $C^\beta(\mathbb{R})$ y decae a cero en el infinito.
  • Teorema 1.3: Extiende el resultado al caso $a = b$ (una restricción de un solo punto) pero solo para el rango $s \in (1/2, 1)$. La solución es simétrica con respecto al punto de restricción.
  • Proposición 2.2: Demuestra que para $s \in (0, 1/2]$, el caso $a=b$ no es admisible para soluciones homoclínicas no triviales, ya que el ínfimo de la energía se alcanza en el nivel cero.

• Existencia de Soluciones Homoclínicas (Caso Espacialmente Dependiente):

  • Teorema 1.4: Establece la existencia de soluciones homoclínicas no triviales para $s \in (1/2, 1)$ bajo la condición de Ambrosetti–Rabinowitz y una condición de crecimiento específica de la potencial $W$. La solución se muestra en $C^{s-1/2}$ y decae a cero.
  • Teorema 1.5: Prueba la existencia para $s \in (0, 1/2]$. Esto requiere condiciones de crecimiento adicionales para $W$ (cotas polinómicas) y, crucialmente, un supuesto estructural sobre la matriz $L(x)$ (dominancia diagonal en el infinito) para construir la barrera necesaria. La solución es acotada y decae a cero.

• Regularidad y Decaimiento:

  • El artículo proporciona resultados detallados de regularidad, mostrando que las soluciones pertenecen a espacios de Hölder específicos ($C^\beta$, $C^{s-1/2}$, o $C^{2s}$ localmente) dependiendo del exponente fraccionario y la regularidad del potencial.
  • Prueba rigurosamente que estas soluciones satisfacen $\lim_{x \to \pm \infty} q(x) = 0$, confirmando su naturaleza homoclínica.

Significancia y Reivindicaciones
El artículo afirma proporcionar una "contraparte fraccionaria natural" a los resultados clásicos de Rabinowitz y Tanaka respecto a las órbitas homoclínicas en sistemas locales. La principal significancia radica en superar las dificultades técnicas inherentes a los operadores no locales, específicamente la ausencia de una estructura hamiltoniana y las diferentes teorías de capacidad asociadas con los espacios de Sobolev fraccionarios para diferentes valores de $s$.

En el contexto del modelo de Peierls–Nabarro, los resultados ofrecen una justificación matemática para la existencia de configuraciones cristalinas específicas:

1. Para el potencial homogéneo, los resultados sugieren que un cristal puede soportar una configuración donde los átomos están en una posición de reposo inestable en el infinito, siempre que el potencial sea ligeramente modificado y se aplique un "pellizco" (desplazamiento) en un punto o intervalo específico.
2. Para el potencial espacialmente dependiente, los resultados indican que las configuraciones de equilibrio en el infinito son posibles bajo perturbaciones supercuadráticas pequeñas del potencial clásico, siempre que el potencial de confinamiento crezca suficientemente en el infinito.

Los autores enfatizan que estos hallazgos se derivan estrictamente de métodos variacionales y de la teoría de regularidad no local, evitando las técnicas de EDO que fallan en el entorno no local. El artículo no propone nuevos montajes experimentales, sino que proporciona la existencia teórica de soluciones que corresponden a patrones de dislocación físicamente relevantes.