Right edge rates of the zeros of $\widetilde{\Xi}_n$ and $\widetilde{\Lambda}_n$

1. Formulação do Problema

O artigo investiga o comportamento assintótico dos maiores zeros (a "borda direita") de duas famílias específicas de polinômios pares reescalados, $\tilde{\Xi}_n(x)$ e $\tilde{\Lambda}_n(x)$, definidos para $n \geq 2$.

Estes polinômios são derivados das famílias $\Xi_n$ e $\Lambda_n$ introduzidas em trabalhos anteriores [1], as quais estão conectadas a representações integrais de valores normalizados da função beta de Dirichlet $\beta(2n)$ e da função zeta de Riemann $\zeta(2n+1)$.

• Definições:
  • $\tilde{\Xi}_n(x) := \Xi_n(\sqrt{x})$
  • $\tilde{\Lambda}_n(x) := \Lambda_n(\sqrt{x})$
• Propriedades: Ambas as famílias são polinômios de grau $n-1$ com todos os zeros sendo reais, simples e contidos estritamente no intervalo $(0, 1)$.
• A Lacuna: Embora a distribuição global dos zeros para ambas as famílias seja conhecida por convergir para a mesma função de distribuição limite $F(x)$, o comportamento dos zeros extremos da direita (aqueles mais próximos de 1) não foi totalmente caracterizado. Especificamente, o artigo pergunta: Os maiores zeros destas duas famílias aproximam-se do ponto final 1 à mesma taxa exponencial?

2. Metodologia

O autor emprega uma abordagem elementar, mas rigorosa, baseada na representação explícita dos polinômios em termos de polinômios de Euler e numa transformação que mapeia o intervalo $(0, 1)$ para o eixo real negativo.

A. Transformação para Zeros Negativos

O núcleo do método baseia-se numa mudança de variáveis (Lema 1.1) que mapeia um zero $x \in (0, 1)$ para um zero negativo $z = -a$ (onde $a \in (0, 1)$) de um polinômio de Euler associado:
$$z = -\frac{1-\sqrt{x}}{1+\sqrt{x}} \implies x = \left(\frac{1-a}{1+a}\right)^2$$
Crucialmente, à medida que $a \to 0^+$, a distância ao ponto final direito comporta-se como:
$$1 - x \sim 4a$$
Assim, determinar a taxa à qual $x \to 1$ é equivalente a determinar a taxa à qual o zero negativo de menor magnitude $a$ do polinômio de Euler aproxima-se de 0.

B. Conexão com Polinômios de Euler

Os polinômios $\Xi_n$ e $\Lambda_n$ são expressos explicitamente usando polinômios de Euler do Tipo B ($B_m$) e do Tipo A ($A_m$):

• $\Xi_n$ relaciona-se a $B_{2n-1}$.
• $\Lambda_n$ relaciona-se a $A_{2n}$.
  O maior zero de $\tilde{\Xi}_n$ corresponde ao zero negativo de $B_{2n-1}$ mais próximo da origem, e similarmente para $\tilde{\Lambda}_n$ e $A_{2n}$.

C. Estimativa de Coeficientes (Lema 1.2)

O autor utiliza um limite para a raiz positiva mais pequena $a_1$ de um polinômio $P(z) = 1 + c_1 z + \dots + c_d z^d$ com coeficientes positivos e raízes reais negativas:
$$\frac{1}{c_1} \leq a_1 \leq \frac{d}{c_1}$$
Isto implica que $\log a_1 = -\log c_1 + O(\log d)$. Portanto, a taxa exponencial da raiz é determinada inteiramente pelo primeiro coeficiente não constante ($c_1$) do polinômio.

D. Cálculo dos Coeficientes Principais

O artigo calcula os primeiros coeficientes não constantes para os polinômios de Euler relevantes:

• Tipo A ($A_{2n}$): O coeficiente de $z$ é $c^{(A)}_{n,1} = 2^{2n} - 2n - 1 \sim 4^n$.
• Tipo B ($B_{2n-1}$): O coeficiente de $z$ é $c^{(B)}_{n,1} = 3^{2n-1} - 2n \sim 9^n$ (especificamente $3^{2n-1}$).

3. Principais Contribuições e Resultados

Teorema Principal (Teorema 2.1)

O artigo prova que as duas famílias exibem taxas exponenciais distintas de convergência para os seus maiores zeros em direção a 1.

1. Para $\tilde{\Lambda}_n$ (Tipo A):
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Lambda)}_{n-1,n}\right) = -\log 4$$
   Isto implica $1 - x^{(\Lambda)}_{n-1,n} \approx 4^{-(n-1)}$.

2. Para $\tilde{\Xi}_n$ (Tipo B):
   $$\lim_{n \to \infty} \frac{1}{n-1} \log\left(1 - x^{(\Xi)}_{n-1,n}\right) = -\log 9$$
   Isto implica $1 - x^{(\Xi)}_{n-1,n} \approx 9^{-(n-1)}$.

Verificação Numérica

A Secção 4 fornece uma tabela numérica confirmando estes limites.

• O log-gap normalizado para $\tilde{\Lambda}_n$ converge rapidamente para $-\log 4 \approx -1.386$.
• O log-gap normalizado para $\tilde{\Xi}_n$ converge para $-\log 9 \approx -2.197$.
  Os dados mostram que, embora a distribuição global seja idêntica, o comportamento da "borda" é fundamentalmente diferente.

4. Significado e Interpretação

• Comportamento Microscópico vs. Macroscópico: Os resultados destacam um fenómeno onde a distribuição limite macroscópica (que descreve a massa dos zeros) falha em capturar o comportamento microscópico dos zeros extremos. Duas sequências podem partilhar a mesma lei limite global, mas possuir diferentes leis de escala local nas fronteiras.
• Papel dos Coeficientes de Euler: O artigo estabelece uma ligação direta entre a taxa assintótica dos zeros extremos e a taxa de crescimento do primeiro coeficiente não constante dos polinômios de Euler subjacentes.
  • O fator $4^n$ no Tipo A leva a uma taxa de $4^{-n}$.
  • O fator $9^n$ no Tipo B leva a uma taxa de $9^{-n}$.
• Simplicidade Metodológica: A prova é notável por ser "elementar". Evita análise complexa ou maquinaria assintótica pesada, confiando em transformações algébricas e limites básicos sobre raízes de polinômios. Isto torna o resultado acessível e destaca o poder da análise de coeficientes em problemas de distribuição de raízes.

Em resumo, o artigo resolve o comportamento assintótico dos zeros mais à direita para estas famílias específicas de polinômios, demonstrando que, apesar de partilharem um limite global, os seus comportamentos de fronteira são governados por diferentes escalas exponenciais ($4^{-n}$ vs $9^{-n}$) derivadas das suas respectivas estruturas de polinômios de Euler.