On the criticality and the principal eigenvalue of almost periodic elliptic operators

Resumen Técnico: Sobre la criticidad y el autovalor principal de operadores elípticos casi periódicos

Planteamiento del problema
El artículo investiga la relación entre la teoría de la criticidad y la noción de un autovalor principal generalizado para operadores elípticos definidos en dominios no acotados, centrándose específicamente en operadores con coeficientes casi periódicos (a.p.). Si bien el autovalor principal está clásicamente bien definido para operadores en dominios acotados o para operadores periódicos (vía la teoría de Krein-Rutman), su definición y propiedades se vuelven ambiguas en el entorno casi periódico. El problema central es determinar si la existencia de un autovalor principal a.p. (un autovalor que admite una función propia positiva a.p.) es equivalente a que el operador sea crítico (posee un espacio unidimensional de soluciones positivas). Además, el artículo examina la estabilidad de la criticidad bajo el paso a los operadores límite en el contexto casi periódico.

Metodología
El autor emplea una combinación de teoría espectral, análisis de EDP elípticas y contraejemplos constructivos.

1. Definiciones y marco de trabajo: El artículo utiliza el marco de los autovalores principales generalizados ($\lambda_1, \lambda'_1, \lambda''_1$) introducidos por Berestycki, Hamel, Nirenberg y Varadhan para dominios no acotados. Distingue entre operadores supercríticos, críticos y subcríticos basándose en la dimensión del espacio de soluciones positivas de $Lu=0$ o la existencia de supersoluciones positivas.
2. Resultados de tipo Liouville: El análisis aprovecha los teoremas de tipo Liouville (específicamente los de Nordmann y Pinchover) para establecer condiciones bajo las cuales la existencia de una solución positiva acotada implica criticidad en dimensiones bajas ($N \le 2$).
3. Contraejemplos constructivos: El núcleo de la metodología consiste en la construcción explícita de funciones y operadores casi periódicos para refutar posibles equivalencias. El autor utiliza una función específica $b(x)$, construida en un trabajo previo [27], la cual es periódica límite (una subclase de a.p.), impar y posee propiedades integrales específicas. Esta función se utiliza para definir operadores no autoadjuntos y autoadjuntos de la forma $u'' \pm 2b(x)u'$.
4. Transformación a forma autoadjunta: Para analizar las propiedades espectrales, los operadores no autoadjuntos se transforman en operadores de tipo Schrödinger autoadjuntos mediante un cambio de variables exponencial ($v = e^{\int b} u$).
5. Análisis de operadores límite: El artículo construye secuencias de traslaciones de los coeficientes para definir operadores límite. Analiza el comportamiento asintótico de las funciones construidas para determinar la criticidad de estos operadores límite.

Contribuciones clave y resultados
El artículo presenta tres resultados primarios que aclaran las distincas entre el entorno periódico y el casi periódico:

1. Resultado de tipo Liouville para operadores a.p.:
   El artículo establece que para un operador autoadjunto con coeficientes regulares que admite una solución positiva a.p., el operador es crítico si y solo si la dimensión espacial $N \le 2$ (Corolario 2.4). Esto extiende los resultados conocidos para operadores periódicos al caso casi periódico bajo la suposición de una solución a.p.

2. No equivalencia de la criticidad y el autovalor principal a.p. (Contraejemplo 1):
   El autor construye un operador autoadjunto a.p. en dimensión $N=1$ que es crítico pero que no admite ninguna función propia positiva a.p.

• Mecanismo: El operador $L = \partial_x^2 - 2b(x)\partial_x$ admite una solución positiva acotada $\phi(x) = e^{-\int_0^x b(t)dt}$ que decae a cero en el infinito.
• Resultado: Dado que $\phi$ es la única solución positiva (salvo múltiplos escalares) y no es a.p. (debido a su decaimiento), el operador es crítico pero carece de un autovalor principal a.p. Esto demuestra que la criticidad no implica la existencia de un autovalor principal a.p., incluso en dimensión 1.

3. Inestabilidad de la criticidad bajo límites (Contraejemplo 2):
   El artículo exhibe un operador autoadjunto a.p. $L$ en dimensión $N=1$ que es subcrítico con $\lambda_1 = 0$, pero que admite un operador límite $L^*$ que es crítico.

• Mecanismo: Mediante el análisis del límite de las traslaciones de los coeficientes de la función $b(x)$, se construye un operador límite $L^*$ que admite una solución positiva acotada.
• Resultado: Esto muestra que la criticidad no es una propiedad invariante bajo el paso a los operadores límite en el entorno casi periódico. Un operador subcrítico puede tener un límite crítico, y viceversa (como se señala en la Nota 1), un operador crítico puede tener un límite subcrítico.

Significancia y pretensiones
El artículo pretende revelar el "carácter de inestabilidad de la propiedad de criticidad en el entorno casi periódico". A diferencia del caso periódico, donde la propiedad de criticidad es compartida por todos los operadores límite (que son meramente traslaciones), el entorno casi periódico permite una divergencia entre un operador y sus límites.

Específicamente, el artículo destaca tres diferencias notables entre los operadores periódicos y los casi periódicos:

1. Un operador a.p. con $\lambda_1 = 0$ puede no ser crítico (incluso en dimensión 1), mientras que para los operadores periódicos, $L + \lambda_1$ es siempre crítico en $N \le 2$.
2. La existencia de un autovalor principal a.p. no está garantizada para los operadores críticos a.p.
3. La criticidad no se preserva bajo la formación de operadores límite.

El trabajo sirve como una revisión y extensión de la teoría del autovalor principal generalizado, aclarando que las propiedades estructurales de los operadores periódicos (como la equivalencia entre la criticidad y la existencia de una función propia periódica en dimensiones bajas) no se extienden automáticamente al caso casi periódico. Los resultados se apoyan en construcciones elementales y propiedades de funciones periódicas límite en lugar de herramientas probabilísticas, ofreciendo una perspectiva centrada en las EDP sobre estos fenómenos espectrales.