Optimal bounds for embedded eigenvalues of one-dimensional discrete Schrödinger operators with decaying potentials

Resumo Técnico: Limites Ótimos para Autovalores Embebidos de Operadores de Schrödinger Discretos Unidimensionais com Potenciais Decrescentes

Enunciado do Problema
Este artigo investiga as propriedades espectrais de operadores de Schrödinger discretos unidimensionais $H = \Delta + V$ atuando em $\ell^2(\mathbb{N})$, onde $\Delta$ é o Laplaciano discreto e $V$ é um potencial real que decai na escala crítica de Coulomb, especificamente $V(n) = O(1/(1+n))$. O problema central é determinar a constante assintótica nítida $C(E)$ que governa a existência de autovalores embebidos no interior do espectro essencial $[-2, 2]$.

Para uma dada energia $E = 2\cos(\pi k)$ com $k \in (0, 1)$, os autores buscam o limiar crítico $C(k)$ tal que:

1. Se $\limsup_{n\to\infty} |nV(n)| < C(k)$, então $E$ não é um autovalor.
2. Para qualquer $\epsilon > 0$, existe um potencial com $\limsup_{n\to\infty} |nV(n)| < C(k) + \epsilon$ tal que $E$ é um autovalor.

O análogo contínuo deste problema é bem compreendido (com o coeficiente crítico sendo $2/\pi$ para quase-momentos irracionais), mas o caso discreto exibe uma dependência complexa da natureza aritmética de $k$. Trabalhos anteriores estabeleceram limites nítidos para $k$ irracional e para $k$ racional com denominadores pares, mas o caso de $k = p/q$ racional com denominador ímpar $q \ge 3$ permaneceu sem resolução, com uma lacuna entre os limites inferior e superior conhecidos.

Metodologia
A análise baseia-se na transformação de Prüfer modificada, que converte a equação de diferença nas variáveis radial ($R(n)$) e angular ($\theta(n)$). A existência de um autovalor embebido corresponde à somabilidade ao quadrado da solução radial $R(n) \in \ell^2$.

A dificuldade central no caso do denominador ímpar ($q$ ímpar) é a falta de uma "simetria de meio período" disponível no caso par. No caso par, os valores do potencial que maximizam o decaimento radial podem ser escolhidos para cancelar o desvio angular, permitindo que a fase seja travada em um valor ótimo. No caso ímpar, a escolha do potencial que melhora o decaimento radial inevitavelmente induz um desvio angular não nulo, impedindo que a fase permaneça fixa.

Para resolver isso, os autores empregam uma metodologia de múltiplas etapas:

1. Identidades Trigonométricas e Compensação: Eles introduzem duas funções trigonométricas, $P(\phi)$ (medindo o ganho de decaimento radial) e $T(\phi)$ (medindo o desvio angular). Eles estabelecem uma identidade fundamental relacionando o excesso de $P(\phi)$ sobre a constante nítida $qB_q$ com o desvio $T(\phi)$. Isso revela que períodos com grandes ganhos radiais são acompanhados por um movimento angular significativo, enquanto períodos com pequenos ganhos possuem desvios opostos.
2. Partição de Sequências de Variação Lenta: Os autores desenvolvem uma nova teoria de partição para sequências que satisfazem $x_{n+1} - x_n = O(1/(1+n))$. Eles classificam os conjuntos de acumulação das partes fracionárias de tais sequências em quatro casos: um único ponto, um arco próprio, uma união de dois arcos (cruzando o ponto de identificação) ou o círculo completo.
3. Compensação Dinâmica: Usando essas partições, eles agrupam índices em janelas onde o ângulo de Prüfer permanece em regiões específicas. Para o caso do "círculo completo" (onde o ângulo explora todo o domínio), eles pareiam índices próximos de $\phi$ e $1-\phi$. Devido às propriedades de simetria de $P$ e à antissimetria de $T$, os ganhos radiais em janelas pareadas podem ser equilibrados contra os desvios angulares, garantindo que o decaimento acumulado total não exceda o limite nítido.
4. Construção do Caso Crítico: Para a parte da existência (mostrando que o limite é nítido), eles constroem potenciais usando blocos de crescimento rápido. Eles introduzem correções de ordem nula nos coeficientes do potencial para garantir que o expoente de decaimento radial seja ligeiramente supercrítico dentro dos blocos, enquanto os comprimentos dos blocos crescem rápido o suficiente para tornar os erros de transição somáveis. Isso requer a coordenação de três escalas: o período de oscilação, o bloco de construção e a escala global.

Contribuições Principais e Resultados

1. Resolução do Caso do Denominador Ímpar: A principal contribuição é a determinação do coeficiente crítico nítido para $k = p/q$ racional onde $q \ge 3$ é ímpar. Os autores provam que:
   $$C(k) = \frac{\sin(\pi k)}{B_q}, \quad \text{onde} \quad B_q = \frac{1 + \cos(\frac{\pi}{q})}{q \sin(\frac{\pi}{q})}.$$
   Isso fecha a lacuna entre os limites inferior e superior anteriores, substituindo o limite inferior pelo limite superior correspondente.

2. Caracterização Completa de $C(k)$: Combinado com resultados prévios, o artigo fornece uma fórmula completa para $C(k)$ para todo $k \in (0, 1)$:

   • $k$ Irracional: $C(k) = \frac{\sin(\pi k)}{2/\pi}$.
   • $k = p/q$ Racional ($q$ par): $C(k) = \frac{\sin(\pi k)}{A_q}$, onde $A_q = \frac{2}{q \sin(\pi/q)}$.
   • $k = p/q$ Racional ($q$ ímpar): $C(k) = \frac{\sin(\pi k)}{B_q}$.

   Esta fórmula quantifica precisamente a descontinuidade de $C(k)$ em quase-momentos racionais. À medida que $k'$ se aproxima de um racional $p/q$, $C(k')$ converge para $\sin(\pi k)/A_0$, enquanto o valor no ponto racional é determinado por $A_q$ (para $q$ par) ou $B_q$ (para $q$ ímpar).

3. Nitidez no Coeficiente Crítico: O artigo prova que o coeficiente crítico não é meramente um limiar para a não existência, mas é de fato atingido. Para qualquer condição de contorno prescrita e qualquer $E \in (-2, 2)$, existe um potencial $V$ com $\limsup |nV(n)| = C(E)$ tal que $E$ é um autovalor embebido. Isso requer uma construção delicada onde o potencial não excede o limite, mas acumula decaimento suficiente através de correções de ordem nula em escalas crescentemente longas.

4. Teoria de Partição para Sequências de Variação Lenta: O artigo introduz um resultado de partição rigoroso para sequências com variação $O(1/n)$. Este resultado classifica o comportamento de acumulação de tais sequências no toro $\mathbb{R}/\mathbb{Z}$ e fornece o arcabouço combinatório necessário para lidar com a interação entre o decaimento radial e a evolução angular no cenário discreto.

Significância
O artigo afirma completar o problema do coeficiente de autovalor único ótimo para operadores de Schrödinger unidimensionais discretos com potenciais de decaimento de Coulomb. Ele resolve a dificuldade específica do caso do denominador ímpar, que era anteriormente intratável devido ao acoplamento entre o decaimento radial e o movimento angular. Ao estabelecer um "princípio de compensação dinâmica", os autores demonstram que a constante nítida é determinada não pela otimização pontual do potencial, mas pelo equilíbrio global entre ganhos radiais e desvios angulares ao longo da órbita. Este trabalho unifica a compreensão de autovalores embebidos através de quase-momentos irracionais e racionais, destacando o papel profundo das propriedades aritméticas na teoria espectral discreta.