Singular limit of lattice graphs

Resumen Técnico: Límite Singular de Grafos de Red (Lattice Graphs)

Planteamiento del Problema
Este artículo investiga el comportamiento asintótico de las soluciones de la ecuación de Schrödinger no lineal (NLS) en grafos de red $d$-dimensionales ($\mathbb{Z}^d_\varepsilon$) a medida que la longitud de la arista $\varepsilon$ tiende a cero. La cuestión central es si los estados fundamentales (minimizadores de los funcionales de acción y energía) en estas estructuras discretas convergen a los estados fundamentales correspondientes en el espacio euclídeo continuo $\mathbb{R}^d$. Si bien se establecieron resultados análogos para rejillas métricas en trabajos previos (específicamente [11]), este estudio aborda el entorno de los grafos de red, el cual presenta desafíos analíticos distintos debido a la ausencia de estimaciones directas de restricción y extensión entre funciones de la red y funciones euclídeas. Además, el artículo extiende el análisis a los casos supercríticos de Sobolev ($p > 2^*$ para la acción, $p > 2 + 4/d$ para la energía) y al caso crítico ($p = 2^*$), áreas previamente inexploradas para los grafos de red.

Metodología
Los autores desarrollan un marco unificado que conecta los grafos de red, las rejillas métricas y los espacios euclídeos a través de los siguientes pasos metodológicos:

1. Establecimiento de Estimaciones de Restricción y Extensión: Un obstáculo técnico primario es la falta de estimaciones directas entre las funciones en los grafos de red $V^d_\varepsilon$ y $\mathbb{R}^d$. Para superar esto, los autores introducen un espacio intermedio: la rejilla métrica $G^d_\varepsilon$. Construyen operadores de extensión lineales (que mapean funciones de la red a funciones de la rejilla métrica mediante interpolación afín por tramos) y operadores de restricción (que mapean funciones de la rejilla métrica a valores de la red).
2. Equivalencia de Normas e Inecuaciones: Utilizando estos operadores, los autores demuestran que las normas de Sobolev en los grafos de red y las rejillas métricas son equivalentes hasta factores de escala que involucran a $\varepsilon$. Derivan nuevas desigualdades de tipo Gagliardo-Nirenberg para no linealidades concentradas en rejillas métricas, las cuales son cruciales para controlar la interacción entre escalas.
3. Análisis Variacional: El estudio emplea métodos variacionales para analizar el funcional de acción $\hat{J}_{\omega, V^d_\varepsilon}$ y el funcional de energía $\hat{E}_{V^d_\varepsilon}$. Al establecer que las sucesiones de estados fundamentales en los grafos de red forman sucesiones minimizantes para los funcionales correspondientes en $\mathbb{R}^d$ (tras la apropiada escala y extensión), los autores utilizan argumentos de compacidad para probar la convergencia.
4. Manejo de Casos Supercríticos y Críticos: Para exponentes supercríticos ($p > 2^*$), los autores utilizan argumentos de escala para mostrar que el ínfimo del funcional de acción en $\mathbb{R}^d$ es cero, lo que conduce a la convergencia de los estados fundamentales de la red hacia cero. Para los funcionales de energía en el régimen de masa restringida supercrítica, demuestran la divergencia.

Contribuciones Clave y Resultados

• Convergencia en el Régimen Subcrítico:

  • Estados Fundamentales de Acción: Para $2 < p < 2^*$, el artículo demuestra que las extensiones de los estados fundamentales de acción en los grafos de red convergen fuertemente en $H^1(\mathbb{R}^d)$ al estado fundamental positivo único de la ecuación NLS en $\mathbb{R}^d$. Los autores proporcionan estimaciones precisas del error para la tasa de convergencia, distinguiendo entre dimensiones $d=1,2$ y $d \ge 3$, y entre los rangos sub-subcrítico y super-subcrítico de $p$.
  • Estados Fundamentales de Energía: De manera similar, para $2 < p < 2 + 4/d$, los estados fundamentales de energía con masa fija convergen fuertemente a los estados fundamentales de energía correspondientes en $\mathbb{R}^d$.
  • Refinamiento del Trabajo Previo: Los autores mejoran los resultados de la tasa de convergencia de [11] para rejillas métricas al establecer una nueva desigualdad de tipo Gagliardo-Nirenberg, respondiendo a una pregunta abierta planteada por Dovetta sobre la tasa $O(\varepsilon^{\frac{d-2}{2}(2^*-p)})$.

• Resultados Supercríticos y de Divergencia:

  • Acción Supercrítica ($d \ge 3, p > 2^*$): Los autores muestran que el valor del funcional de acción escalado tiende a cero, y que los estados fundamentales convergen fuertemente a cero en $H^1(\mathbb{R}^d)$.
  • Energía Supercrítica ($d \ge 2, p > 2 + 4/d$): En contraste con el caso subcrítico, el artículo demuestra que para masas grandes, los estados fundamentales de energía en los grafos de red divergen en $H^1(\mathbb{R}^d)$ cuando $\varepsilon \to 0$, con la energía tendiendo a $-\infty$.

• Multiplicidad de Puntos Críticos:

  • Como subproducto del análisis del límite singular, el artículo establece un resultado de multiplicidad para los puntos críticos de masa fija en los grafos de red. Específicamente, para $d \ge 2$ y $p \in (2 + 4/d, 2^*)$, existen masas grandes $\mu$ para las cuales el funcional de energía posee al menos dos puntos críticos positivos distintos: uno siendo el estado fundamental de energía y el otro siendo un estado fundamental de acción (el cual no es un estado fundamental de energía). Esto resalta una falla de equivalencia entre los estados fundamentales de acción y de energía en los grafos de red, un fenómeno no observado en el entorno continuo o en ciertos grafos métricos.

• Constantes Óptimas en Desigualdades de Gagliardo-Nirenberg:

  • El artículo investiga las constantes exactas $K_{q, V^d_1}$ para las desigualdades de Gagliardo-Nirenberg en los grafos de red. Demuestra que $K_{q, V^d_1} \ge K_{q, \mathbb{R}^d}$.
  • Crucialmente, para el rango $q \in [2 + 4/d, 2^*)$ (y $q=2^*$ para $d \ge 3$), los autores prueban que $K_{q, V^d_1} = K_{q, \mathbb{R}^d}$.
  • Además, muestran que para $q \in (2 + 4/d, 2^*)$, la constante óptima en la red no es alcanzada.
  • El artículo resuelve un problema abierto respecto al caso $d \ge 3$ y $q = 2^*$, estableciendo que la constante óptima en la red es igual a la de $\mathbb{R}^d$ (específicamente $K_{2^*, V^d_1} = K_{2^*, \mathbb{R}^d}$), un resultado que contrasta con el comportamiento de las desigualdades de Sobolev basadas en $L^1$ en las rejillas métricas.

Significancia y Reivindicaciones
El artículo afirma proporcionar un marco unificado para estudiar problemas de límite singular en grafos de red, cerrando la brecha entre las estructuras discretas de microescala y los modelos continuos de macroescala. Su significancia radica en:

1. Extensión de la Literatura: Amplía sustancialmente los resultados existentes al cubrir los casos de Sobolev supercrítico y crítico, que anteriormente no habían sido estudiados para los grafos de red.
2. Resolución de Problemas Abiertos: Responde positivamente a una pregunta planteada por Dovetta sobre la tasa de convergencia de los estados fundamentales y establece nuevas desigualdades de Gagliardo-Nirenberg para el caso del exponente crítico.
3. Revelación de Fenómenos Discretos: El resultado de multiplicidad para los puntos críticos de masa fija revela una diferencia estructural entre los grafos de red y los dominios continuos (o ciertos grafos métricos), donde los estados fundamentales de acción y de energía no siempre son equivalentes.
4. Implicaciones Numéricas: Los autores sugieren que el resultado que muestra que los estados fundamentales en grafos finitos pueden aproximar a los de $\mathbb{R}^d$ (Observación 1.5) tiene importancia para el análisis numérico.

El artículo mantiene un enfoque variacional riguroso, apoyándose en la construcción de operadores de extensión/restricción específicos y la derivación de nuevas desigualdades discretas para manejar la falta de suavidad inherente a las estructuras de red.