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

Resumo Técnico: Sobre a criticidade e o autovalor principal de operadores elípticos quase periódicos

Enunciado do Problema
O artigo investiga a relação entre a teoria da criticidade e a noção de um autovalor principal generalizado para operadores elípticos definidos em domínios não limitados, focando especificamente em operadores com coeficientes quase periódicos (q.p.). Embora o autovalor principal seja classicamente bem definido para operadores em domínios limitados ou operadores periódicos (via a teoria de Krein-Rutman), sua definição e propriedades tornam-se ambíguas no cenário quase periódico. O problema central é determinar se a existência de um autovalor principal q.p. (um autovalor que admite uma autofunção positiva q.p.) é equivalente ao fato de o operador ser crítico (possuindo um espaço unidimensional de soluções positivas). Além disso, o artigo examina a estabilidade da criticidade sob a passagem para operadores limite no contexto quase periódico.

Metodologia
O autor emprega uma combinação de teoria espectral, análise de EDPs elípticas e contraexemplos construtivos.

1. Definições e Estrutura: O artigo utiliza o arcabouço dos autovalores principais generalizados ($\lambda_1, \lambda'_1, \lambda''_1$) introduzidos por Berestycki, Hamel, Nirenberg e Varadhan para domínios não limitados. Ele distingue entre operadores supercríticos, críticos e subcríticos com base na dimensão do espaço de soluções positivas de $Lu=0$ ou na existência de supersoluções positivas.
2. Resultados do tipo Liouville: A análise utiliza teoremas do tipo Liouville (especificamente os de Nordmann e Pinchover) para estabelecer condições sob as quais a existência de uma solução positiva limitada implica criticidade em baixas dimensões ($N \le 2$).
3. Contraexemplos Construtivos: O núcleo da metodologia envolve a construção explícita de funções e operadores quase periódicos para refutar potenciais equivalências. O autor utiliza uma função específica $b(x)$, construída em um trabalho anterior [27], que é periódica limite (uma subclasse de q.p.), ímpar e possui propriedades integrais específicas. Esta função é usada para definir operadores não autoadjuntos e autoadjuntos da forma $u'' \pm 2b(x)u'$.
4. Transformação para Forma Autoadjunta: Para analisar as propriedades espectrais, os operadores não autoadjuntos são transformados em operadores do tipo Schrödinger autoadjuntos via uma mudança de variáveis exponencial ($v = e^{\int b} u$).
5. Análise de Operadores Limite: O artigo constrói sequências de translações dos coeficientes para definir operadores limite. Ele analisa o comportamento assintótico das funções construídas para determinar a criticidade desses operadores limite.

Principais Contribuições e Resultados
O artigo apresenta três resultados primários que esclarecem as distinções entre o cenário periódico e o quase periódico:

1. Resultado do tipo Liouville para Operadores Q.P.:
   O artigo estabelece que, para um operador autoadjunto com coeficientes regulares que admite uma solução positiva q.p., o operador é crítico se, e somente se, a dimensão espacial $N \le 2$ (Corolário 2.4). Isso estende resultados conhecidos para operadores periódicos para o caso quase periódico sob a suposição de uma solução q.p.

2. Não-Equivalência de Criticidade e Autovalor Principal Q.P. (Contraexemplo 1):
   O autor constrói um operador autoadjunto q.p. em dimensão $N=1$ que é crítico, mas não admite nenhuma autofunção positiva q.p.

• Mecanismo: O operador $L = \partial_x^2 - 2b(x)\partial_x$ admite uma solução positiva limitada $\phi(x) = e^{-\int_0^x b(t)dt}$ que decai para zero no infinito.
• Resultado: Como $\phi$ é a única solução positiva (a menos de múltiplos escalares) e não é q.p. (devido ao decaimento), o operador é crítico, mas carece de um autovalor principal q.p. Isso demonstra que a criticidade não implica a existência de um autovalor principal q.p., mesmo na dimensão 1.

3. Instabilidade da Criticidade sob Limites (Contraexemplo 2):
   O artigo exibe um operador autoadjunto q.p. $L$ em dimensão $N=1$ que é subcrítico com $\lambda_1 = 0$, mas admite um operador limite $L^*$ que é crítico.

• Mecanismo: Ao analisar o limite das translações dos coeficientes da função $b(x)$, um operador limite $L^*$ é construído, o qual admite uma solução positiva limitada.
• Resultado: Isso mostra que a criticidade não é uma propriedade invariante sob a passagem para operadores limite no cenário quase periódico. Um operador subcrítico pode ter um limite crítico e, inversamente (como observado na Observação 1), um operador crítico pode ter um limite subcrítico.

Significância e Alegações
O artigo alega revelar o "caráter de instabilidade da propriedade de criticidade no cenário quase periódico". Diferente do caso periódico, onde o caráter de criticidade é compartilhado por todos os operadores limite (que são meras translações), o cenário quase periódico permite uma divergência entre um operador e seus limites.

Especificamente, o artigo destaca três diferenças marcantes entre operadores periódicos e quase periódicos:

1. Um operador q.p. com $\lambda_1 = 0$ pode não ser crítico (mesmo na dimensão 1), enquanto para operadores periódicos, $L + \lambda_1$ é sempre crítico em $N \le 2$.
2. A existência de um autovalor principal q.p. não é garantida para operadores críticos q.p.
3. A criticidade não é preservada sob a formação de operadores limite.

O trabalho serve como uma revisão e extensão da teoria do autovalor principal generalizado, esclarecendo que as propriedades estruturais dos operadores periódicos (como a equivalência entre criticidade e a existência de uma autofunção periódica em baixas dimensões) não se estendem automaticamente para o caso quase periódico. Os resultados baseiam-se em construções elementares e propriedades de funções periódicas limite em vez de ferramentas probabilísticas, oferecendo uma perspectiva centrada em EDPs sobre esses fenômenos espectrais.