On the Orthorecursive Expansion of Unity

Título: Sobre a Expansão Ortorecursiva da Unidade

Autor: Benoit Cloitre
Área: Teoria Analítica dos Números e Análise Funcional (Classes 11M45, 44A15, 45D05)

---

1. O Problema

O artigo investiga o comportamento assintótico dos coeficientes racionais $(c_n)_{n \ge 0}$ gerados pela expansão ortorecursiva da função constante $f(x) = 1$ no espaço de Hilbert $L^2([0, 1])$, utilizando o sistema não ortogonal $\{x, x^2, x^3, \dots\}$.

A expansão ortorecursiva é um algoritmo "ganancioso" (greedy) que aproxima um vetor através de projeções ortogonais sucessivas. Para este sistema específico, os coeficientes satisfazem $c_0 = 1$ e a seguinte relação de recorrência explícita para $N \ge 1$:
$$\sum_{k=0}^{N} c_k \frac{1}{N + k + 1} = 0$$
O problema central é determinar a taxa de decaimento assintótico dos coeficientes $c_n$ e de suas somas parciais $C_N = \sum_{k=0}^N c_k$.

Estado da Arte (Pré-trabalho):

• Kalmynin e Kosenko [9] estabeleceram limites superiores usando argumentos de norma $L^2$: $c_n = O(n^{-3/2})$ e $C_N = O(N^{-1/2})$.
• Eles deixaram as taxas de decaimento ótimas como problemas em aberto.
• Baseado em evidências numéricas, conjecturaram que $c_n$ exibe um comportamento oscilatório com um expoente $\delta \approx 7/3$.

---

2. Metodologia

O autor desenvolve uma abordagem inovadora que combina análise discreta com análise complexa, evitando métodos padrão (como Euler-Maclaurin ou análise de funções geradoras) que falharam em fornecer respostas precisas. A metodologia divide-se em dois componentes principais:

A. Teorema de Transferência Volterra-Mellin

O autor recasta a relação de recorrência discreta como uma equação integral de Volterra.

1. Identidade Discreta: Define-se uma soma parcial $A(x) = \sum_{n \le x} a_n$ e uma soma ponderada $A_g(x) = \sum_{n \le x} a_n g(n/x)$, onde o núcleo é $g(t) = \frac{2}{1+t}$.
2. Equação Integral: Demonstra-se que existe uma identidade exata relacionando $A$ e $A_g$ através de uma convolução multiplicativa com um núcleo $k(y)$.
3. Resolvente: A equação é invertida usando o núcleo resolvente de Volterra $R$. A taxa de decaimento de $A(x)$ é governada pela localização dos zeros da Transformada de Mellin Modificada do núcleo $g$, denotada por $g^*(z)$.
4. Análise de Contorno: Utiliza-se um teorema tauberiano para transferir o comportamento assintótico de $A_g$ para $A$, deslocando o contorno de integração no plano complexo. A chave é que o núcleo resolvente é suave, permitindo o deslocamento de contorno sem as dificuldades associadas a funções degrau.

B. Análise dos Zeros da Transformada de Mellin

O núcleo da análise assintótica reside no estudo analítico da função $g^*(z)$:
$$g^*(z) = -z \int_0^1 \frac{2}{1+t} t^{-z-1} dt = z \left( \psi\left(-\frac{z}{2}\right) - \psi\left(\frac{1-z}{2}\right) \right)$$
onde $\psi$ é a função digama.

• O autor prova que $g^*(z) \neq 0$ para $\text{Re}(z) \le 1$.
• Demonstra-se que existe exatamente um par de zeros conjugados na faixa $1 < \text{Re}(z) < 3/2$.
• O zero com a menor parte real positiva é denotado por $\rho_1 = \alpha_1 + i\tau_1$, com $\alpha_1 \approx 1.3465$.

---

3. Resultados Principais

Teorema 1.1 (Somas Parciais)

Para todo $\varepsilon > 0$, a soma parcial $C_N$ satisfaz:
$$C_N = O_\varepsilon(N^{-\alpha_1 + \varepsilon})$$
onde $\alpha_1 \approx 1.3465$ é a menor parte real entre os zeros de $g^*(z)$.

• Significado: Isso melhora significativamente o limite anterior de $O(N^{-1/2})$ e fornece a taxa exata (até um fator $\varepsilon$) determinada pelo espectro da equação integral.

Teorema 1.2 (Limite Pontual)

Os coeficientes ortorecursivos satisfazem:
$$c_n = O(n^{-2})$$

• Significado: Isso supera o limite anterior de $O(n^{-3/2})$. O autor utiliza um método de "bootstrap" (retroalimentação): usa o limite das somas parciais na recorrência original via soma por partes para refinar o limite pontual.

Conjectura Corrigida (Seção 6)

O trabalho refuta a conjectura original de Kalmynin-Kosenko sobre o expoente $\delta \approx 7/3$.

• A análise espectral sugere que o comportamento assintótico é governado pelo par de zeros $\rho_1, \bar{\rho}_1$.
• O comportamento esperado é:
  $$c_n \sim A n^{-(1+\alpha_1)} \sin(\tau_1 \log n + \phi)$$
  onde $\delta = 1 + \alpha_1 \approx 2.3465$.
• Isso explica as oscilações logarítmicas observadas numericamente e alinha o expoente de decaimento com a posição espectral dos zeros.

---

4. Contribuições Técnicas e Significância

1. Novo Método de Transferência: O desenvolvimento do "Teorema de Transferência Volterra-Mellin" é uma contribuição metodológica independente. Ele permite tratar recorrências lineares complexas como equações integrais, onde a análise de Mellin e o deslocamento de contorno se tornam ferramentas eficazes.
2. Resolução de um Problema Aberto: O artigo resolve o problema de decaimento ótimo deixado em aberto por Kalmynin e Kosenko, fornecendo limites rigorosos e uma interpretação espectral precisa.
3. Conexão com Hipóteses Profundas: O problema é análogo (embora mais tratável) ao problema de Nyman-Beurling sobre a Hipótese de Riemann. A capacidade de calcular explicitamente os zeros da transformada de Mellin associada oferece um modelo para entender como a estrutura aritmética e analítica influencia taxas de aproximação.
4. Precisão Espectral: A descoberta de que a taxa de decaimento é determinada pela parte real do zero mais à direita de uma função transcendental (relacionada à função digama) estabelece uma ponte clara entre a análise de recorrências discretas e a teoria espectral de operadores integrais.

Conclusão

O artigo demonstra que a expansão ortorecursiva da unidade possui um comportamento assintótico governado por uma "ressonância" espectral. A taxa de decaimento não é apenas polinomial simples, mas oscilatória, com um expoente determinado pela localização de zeros de uma função especial no plano complexo. O trabalho substitui estimativas grosseiras por uma análise espectral precisa, corrigindo conjecturas anteriores e abrindo caminho para fórmulas de traço análogas às da teoria dos números primos.