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

A continuación presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Título: Soluciones de Estado Fundamental para Ecuaciones de Schrödinger Locales-No Locales en Presencia de Dos Exponentes Críticos

1. Planteamiento del Problema

El artículo aborda la existencia de soluciones de estado fundamental (ground state solutions) para una ecuación de Schrödinger que combina operadores locales y no locales, caracterizada por la presencia simultánea de dos exponentes críticos de Sobolev. La ecuación estudiada es:

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

Donde:

• $N \geq 3$ y $0 < s < 1$.
• $-\Delta$ es el Laplaciano clásico (local).
• $(-\Delta)^s$ es el Laplaciano fraccionario (no local), definido mediante la transformada de Fourier.
• La no linealidad $f(u)$ incluye términos críticos asociados a ambos operadores:
  $$f(u) = |u|^{2^*_s - 2}u + \beta |u|^{p-2}u + |u|^{2^* - 2}u$$
  Con $2^*_s = \frac{2N}{N-2s}$ (exponente crítico fraccionario) y $2^* = \frac{2N}{N-2}$ (exponente crítico clásico), donde $2^*_s < p < 2^*$.

El desafío principal: Situaciones previas han resuelto casos puramente locales ($\mu=0$) o puramente no locales ($\lambda=0$), o combinaciones con un solo exponente crítico. Sin embargo, la presencia de dos exponentes críticos simultáneos en un operador mixto (local-no local) crea una situación sin precedentes en las EDPs. Los métodos estándar (como el teorema de concentración-compacidad de Lions o técnicas de extensión de Caffarelli-Silvestre) no son directamente aplicables o suficientes debido a la falta de invariancia bajo traslaciones y la complejidad de la compacidad en espacios mixtos.

2. Metodología

Los autores desarrollan un enfoque basado en el cálculo variacional, adaptado específicamente para superar la falta de compacidad en $\mathbb{R}^N$.

• Espacio Funcional: Se define un espacio de Sobolev mixto $X$, completado de $C_0^\infty(\mathbb{R}^N)$ bajo la norma que combina la energía del Laplaciano clásico y la fraccionario:
  $$\|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$$
  Se demuestra que este espacio se incrusta continuamente en $L^t(\mathbb{R}^N)$ para $t \in [2^*_s, 2^*]$.

• Generalización del Teorema de Traslación de Lieb: Este es el núcleo metodológico del trabajo.

  • Los autores prueban una versión generalizada del teorema de Lieb (Teorema 3.2).
  • A diferencia de los casos clásicos donde la pérdida de compacidad se debe a traslaciones, aquí se demuestra que para una sucesión acotada $\{u_n\}$ en $X$ que no converge fuertemente a cero en $L^{2^*_s}$ ni en $L^{2^*}$, existe una sucesión de traslaciones $\{x_n\}$ tal que la sucesión trasladada converge fuertemente a un límite no trivial en $L^2_{loc}$.
  • Esto permite recuperar la compacidad necesaria para aplicar el principio del paso de montaña.

• Geometría del Paso de Montaña y Variedad de Nehari:

  • Se define el funcional de energía $I(u)$ asociado a la ecuación.
  • Se verifica la estructura de "paso de montaña" (Mountain Pass Geometry).
  • Se utiliza la variedad de Nehari $\mathcal{N}$ para caracterizar las soluciones de estado fundamental como minimizadores de la energía sobre esta variedad.
  • Se demuestra que el nivel de energía crítico $c$ es estrictamente menor que un umbral $c^*$ determinado por las constantes óptimas de las desigualdades de Sobolev, lo cual es crucial para evitar la pérdida de masa en el límite.

• Regularidad ($L^\infty$):

  • Para probar que las soluciones son acotadas, se utiliza un método de iteración de Moser (Lema 6.1 y 6.2).
  • Se construyen funciones de prueba truncadas y se aplican desigualdades de Sobolev y Hölder para establecer estimaciones $L^\infty$ para soluciones no negativas.

3. Contribuciones Clave

1. Resolución de un caso abierto: Se resuelve completamente el problema de existencia de soluciones de estado fundamental para operadores mixtos con dos exponentes críticos, una situación que los métodos existentes no podían abordar.
2. Nuevo Teorema de Traslación: La generalización del teorema de Lieb de traslación para espacios de Sobolev mixtos es una herramienta técnica nueva que abre la puerta a resolver problemas similares con múltiples operadores críticos.
3. Análisis de la no linealidad mixta: Se establece la existencia de soluciones para una no linealidad que combina términos subcríticos y dos términos críticos simultáneos, demostrando que para un parámetro $\beta$ suficientemente grande, la interacción entre los términos permite la existencia de soluciones.

4. Resultados Principales

• Teorema 1.2 (Existencia): Bajo las condiciones $N \geq 3$, $0 < s < 1$ y $p \in (2^*_s, 2^*)$, existe un umbral $\bar{\beta} \in (0, +\infty)$ tal que para todo $\beta > \bar{\beta}$, la ecuación (D) posee una solución de estado fundamental radial y no negativa.
• Teorema 1.3 (Regularidad): Bajo la condición de crecimiento de la no linealidad (F1), cualquier solución no negativa de la ecuación pertenece a $L^\infty(\mathbb{R}^N)$. Esto garantiza que las soluciones encontradas son acotadas y, por tanto, clásicas en el sentido de regularidad.
• No existencia en casos puros: Se reafirma que si solo hay un exponente crítico (sin el término subcrítico $p$), no existen soluciones no triviales, lo que subraya la necesidad del término intermedio para la existencia en este contexto mixto.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Avance Teórico: Cierra una brecha importante en la teoría de ecuaciones elípticas con operadores mixtos. Demuestra que la combinación de difusión local y no local con múltiples criticalidades es manejable mediante nuevas herramientas analíticas.
• Aplicabilidad: Las ecuaciones de Schrödinger con operadores mixtos modelan fenómenos físicos y biológicos donde coexisten procesos de difusión clásica (corto alcance) y saltos de largo alcance (difusión anómala), como en dinámicas de poblaciones con estrategias de forrajeo mixtas o la propagación de enfermedades.
• Herramientas Nuevas: La generalización del teorema de Lieb propuesta aquí es un resultado independiente de alto valor que probablemente será utilizado en futuros estudios de EDPs no locales y mixtas, especialmente en contextos donde la compacidad es difícil de recuperar.
• Rigurosidad: El artículo proporciona no solo la existencia, sino también la regularidad y la positividad de las soluciones, completando el análisis cualitativo de estas ecuaciones.

En resumen, el papel de los autores (Su, Hajaiej y Shi) establece un nuevo paradigma para el tratamiento de problemas variacionales con múltiples criticalidades en espacios mixtos, superando las limitaciones de las técnicas tradicionales de concentración-compacidad.