🔢 mathematics

Explicit formula for the discrete Laplace transform of the Möbius function, related special functions, and a criterion for the Riemann hypothesis

Assumindo a simplicidade dos zeros da função zeta de Riemann, este artigo deriva uma fórmula explícita para a transformada de Laplace discreta da função de Möbius envolvendo polos duplos provenientes do colapso de zeros de Gamma e zeta, estabelece um critério para a hipótese de Riemann baseado na taxa de decaimento da transformada e introduz funções inteiras especiais com séries de Bessel ponderadas por Möbius em forma fechada.

Autores originais: Sergey Liflandsky

Publicado 2026-07-14

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Sergey Liflandsky

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine a função zeta de Riemann, $\zeta(s)$ , como um instrumento musical gigante e invisível que guarda o código secreto de como os números primos estão espalhados pelo universo. Por mais de 150 anos, matemáticos tentam ouvir a melodia exata deste instrumento, especificamente para provar a Hipótese de Riemann: a ideia de que todas as "notas ocultas" (os zeros não triviais) deste instrumento estão perfeitamente afinadas em uma única linha de frequência específica.

Neste artigo, Sergey Liflandsky utiliza uma nova ferramenta para ouvir esta música: a Transformada de Laplace Discreta da função de Möbius. Pense na função de Möbius, $\mu(n)$ , como uma operadora de uma central telefônica cósmica que alterna sinais (+1, -1 ou 0) com base nos fatores primos de um número. Liflandsky está perguntando: "O que acontece se pegarmos todos esses interruptores, multiplicarmos por um sinal em declínio ( $e^{-nx}$ ) e somarmos todos eles?"

A Grande Descoberta: Uma Colisão de Mundos

A principal descoberta do artigo é uma fórmula explícita inédita para esta soma. É como encontrar uma chave mestra que desbloqueia a soma usando dois conjuntos diferentes de informações: os valores da função zeta em pontos específicos e a localização de seus zeros ocultos.

Aqui está a reviravolta que torna este artigo especial. Em fórmulas anteriores (como a da função de Mertens), a matemática era relativamente limpa. Os "polos" (lugares onde a matemática explode) de uma parte da equação e os "zeros" (lugares onde a equação desaparece) de outra parte permaneciam afastados.

Mas nesta nova fórmula, eles colidem.

Liflandsky mostra que os polos da função Gamma (uma famosa função auxiliar) colidem com os "zeros triviais" da função zeta. É como dois trens em rota de colisão que não apenas param, mas se fundem em um polo duplo. Esta colisão cria um termo novo, caótico e belo na fórmula: um termo logarítmico envolvendo $\log(2\pi x)$ . Esta estrutura nunca foi vista antes neste tipo de fórmulas. É uma impressão digital única deixada pela colisão destas forças matemáticas.

A Surpresa "Bessel"

O artigo também introduz algumas "funções inteiras especiais" (objetos matemáticos que são suaves em todos os pontos) nomeadas $\kappa$ , $\beta$ , $\lambda$ e $\upsilon$ . Estes não são apenas nomes aleatórios; eles são o resíduo matemático dessa colisão.

Liflandsky prova algo surpreendente sobre estas funções: elas podem ser escritas como séries absolutamente convergentes de funções de Bessel. Para visualizar, imagine a função de Bessel como uma ondulação em um lago. O artigo mostra que estas funções especiais são, na verdade, uma pilha perfeita e infinita dessas ondulações, ponderadas pela função de Möbius. É como descobrir que uma tempestade complexa e caótica é, na verdade, feita de ondas rotativas perfeitamente ordenadas.

O Teste da Hipótese de Riemann

A parte mais emocionante é como esta fórmula atua como um critério (um teste) para a Hipótese de Riemann.

A Via de Mão Única (Provada): O artigo prova que se a soma destes interruptores de Möbius se comportar de uma maneira muito específica (encolhendo a uma taxa de $O(x^{-1/2})$ conforme $x$ se torna minúsculo), então a Hipótese de Riemann é definitivamente verdadeira. Esta direção não requer suposições extras; é um fato matemático sólido. Se você vir a soma encolhendo tão rápido, os zeros devem estar na linha crítica.
A Via de Mão Dupla (Condicional): O artigo argumenta que o inverso também é verdadeiro: se a Hipótese de Riemann for verdadeira (e assumirmos que os zeros são simples e não chegam muito perto de zero), então a soma encolherá nessa taxa específica. No entanto, esta direção depende de algumas suposições extras sobre como os zeros se comportam, que são amplamente acreditadas, mas ainda não provadas.

O Que o Artigo Descarta

O artigo descarta explicitamente a ideia de que esta nova fórmula seja apenas um pequeno ajuste das antigas. Ele enfatiza que o termo logarítmico ( $\log(2\pi x)$ ) é uma característica estrutural que não pode ser encontrada nas fórmulas clássicas para a função de Mertens. As fórmulas antigas tinham polos simples; esta possui polos duplos. A matemática é fundamentalmente diferente.

O Quão Certos Estamos?

A Fórmula: A fórmula explícita (1.18) é provada, mas depende da suposição de que todos os zeros não triviais são "simples" (ou seja, nenhum par de zeros senta exatamente em cima do outro). Esta é uma suposição padrão apoiada por cálculos numéricos massivos (até $3 \cdot 10^{12}$ ), mas ainda não foi matematicamente provada. Se um zero fosse "duplo", a fórmula precisaria de um pequeno ajuste, mas a lógica central ainda se manteria.
O Critério: A direção "A soma encolhe rápido $\rightarrow$ a Hipótese de Riemann é verdadeira" é incondicionalmente provada. Não são necessários palpites extras.
O Reverso: A direção "A Hipótese de Riemann é verdadeira $\rightarrow$ a soma encolhe rápido" é condicional. Ela é válida se assumirmos que os zeros são simples e não chegam muito perto de zero (Hipótese H).

A Conclusão

Liflandsky ainda não resolveu a Hipótese de Riemann. Em vez disso, ele construiu um novo detector altamente sensível. Ele descobriu que a maneira como a função de Möbius decai está profundamente ligada à geometria dos zeros da função zeta. A descoberta do polo duplo e o resultante termo logarítmico é uma nova peça do quebra-cabeça que era anteriormente invisível. É um passo adiante rigoroso e provado que oferece uma nova forma incondicional de testar se a Hipótese de Riemann é verdadeira, desde que possamos medir essa soma com precisão suficiente.

Resumo Técnico: Fórmula Explícita para a Transformada de Laplace Discreta da Função de Möbius

Enunciado do Problema
O artigo aborda a derivação de uma fórmula explícita para a transformada de Laplace discreta da função de Möbius, definida como $\Phi(e^{-t}) = \sum_{n=1}^\infty \mu(n)e^{-nt}$ . Embora fórmulas explícitas para a função de Mertens (as somas parciais de $\mu(n)$ ) sejam bem estabelecidas (ex: Teorema de Titchmarsh 14.27), o comportamento da transformada de Laplace sob a suposição de zeros simples da função zeta de Riemann ( $\zeta(s)$ ) apresenta desafios analíticos únicos. Especificamente, o autor investiga como os polos da função Gamma $\Gamma(s)$ interagem com os zeros triviais da função zeta de Riemann no contexto da inversão de Mellin de $\Gamma(s)/\zeta(s)$ .

Metodologia
A metodologia central baseia-se na transformada de Mellin e em técnicas de integração de contorno, seguindo a abordagem clássica de Hardy e Littlewood.

Representação de Mellin: O autor estabelece a identidade $\Gamma(s)/\zeta(s) = \int_0^\infty \Phi(e^{-t})t^{s-1}dt$ para $\text{Re}(s) > 1$ . Pelo teorema de inversão de Mellin, $\Phi(e^{-x})$ é representada como uma integral de contorno de $\Gamma(s)x^{-s}/\zeta(s)$ .
Deslocamento de Contorno: O contorno de integração é deslocado da reta $\text{Re}(s) = \sigma > 1$ $Re (s) = σ > 1$ para a esquerda, em direção a $-\infty$ $- \infty$ . Este processo envolve o cálculo dos resíduos do integrando em suas singularidades:
- Zeros não triviais ( $\rho$ ): Assumindo a Hipótese (S) (todos os zeros não triviais são simples), estes contribuem com polos simples.
- Zeros triviais: O artigo identifica uma novidade estrutural aqui. Os zeros triviais de $\zeta(s)$ ocorrem em inteiros pares negativos ( $s = -2, -4, \dots$ ), que coincidem com os polos de $\Gamma(s)$ . Esta colisão cria polos duplos no integrando, em vez dos polos simples encontrados em fórmulas clássicas de Mertens.
- Inteiros ímpares negativos: Estes correspondem a polos simples onde $\Gamma(s)$ possui um polo, mas $\zeta(s)$ é regular e não nula.
- Zero em $s=0$ : Uma contribuição de polo simples.
Cálculo de Resíduos:
- Os resíduos nos polos duplos (inteiros pares negativos) são calculados usando expansões de Laurent e derivadas logarítmicas, revelando termos envolvendo $\log(2\pi x)$ , a função digama $\psi$ e as derivadas da função zeta.
- Os resíduos nos zeros não triviais são calculados usando a regra de L'Hôpital sob a suposição de simplicidade.
Convergência e Limites: Para justificar o deslocamento do contorno, o autor emprega um limite inferior uniforme para $|\Gamma(s)|$ em retas verticais móveis (Lema 5.1), o que é crucial para controlar a integral na borda esquerda do contorno, onde as assíntotas padrão de Stirling falham. O Lema 5.2 (Titchmarsh) é usado para selecionar retas horizontais que evitem os zeros de $\zeta(s)$ .
Transformação de Série: As contribuições dos zeros triviais (a parte das "funções inteiras" da fórmula) são reexpressadas como séries absolutamente convergentes de funções de Bessel com argumentos rotacionados, utilizando as definições de série de potência de $\kappa, \beta, \lambda, \upsilon$ .

Principais Contribuições e Resultados

Fórmula Explícita (Teorema 1.1):
Sob a suposição de que todos os zeros não triviais de $\zeta(s)$ são simples (Hipótese S), o artigo deriva a seguinte fórmula para $x > 0$ :
$\sum_{n=1}^\infty \mu(n)e^{-nx} = \sum_{\rho} \frac{\Gamma(\rho)x^{-\rho}}{\zeta'(\rho)} + \pi\kappa(x) + 2\lambda(x) + 4\upsilon(x) - 2\beta(x)\log(2\pi x) - 2$
onde a soma sobre $\rho$ é um limite simétrico sobre os zeros não triviais. As funções $\kappa, \beta, \lambda, \upsilon$ são funções inteiras definidas por séries de potência envolvendo $\zeta(2m+1)$ , $\zeta(2m+2)$ e suas derivadas.
- Novidade Estrutural: O termo $-2\beta(x)\log(2\pi x)$ surge especificamente dos polos duplos nos inteiros pares negativos. Esta estrutura logarítmica está ausente na fórmula explícita clássica para a função de Mertens, onde os zeros triviais contribuem apenas com polos simples.
Expansões de Möbius–Bessel (Teorema 1.2):
O artigo fornece expressões de forma fechada para as funções inteiras $\kappa, \beta, \lambda, \upsilon$ como séries de funções de Bessel $J_0$ com argumentos rotacionados ( $2e^{-i\pi/4}\sqrt{2\pi x/k}$ ) ponderadas por Möbius e absolutamente convergentes. Por exemplo:
$\beta(x) + i\kappa(x) = \sum_{k=1}^\infty \frac{\mu(k)}{k} \left( J_0\left(2e^{-i\pi/4}\sqrt{\frac{2\pi x}{k}}\right) - 1 \right)$
Isso estabelece uma ligação direta entre as contribuições dos zeros triviais e funções do tipo Bessel análogas aos critérios de Riesz e Hardy-Littlewood.
Critério para a Hipótese de Riemann (Teorema 1.3):
O artigo estabelece um critério ligando o comportamento assintótico de $\Phi(e^{-x})$ quando $x \to 0^+$ à Hipótese de Riemann (RH):
- Direção Incondicional: Se $\sum \mu(n)e^{-nx} = O(x^{-1/2})$ quando $x \to 0^+$ , então a Hipótese de Riemann é verdadeira. Esta direção não requer suposições sobre a simplicidade dos zeros ou a convergência da soma dos zeros.
- Direção Converso: Se a RH for verdadeira, juntamente com a Hipótese (S) (zeros simples) e a Hipótese (H) (convergência absoluta da soma $\sum |\Gamma(\rho)/\zeta'(\rho)|$ ), então o limite $O(x^{-1/2})$ é mantido.

Significância e Alegações
O artigo alega três contribuições primárias:

A Fórmula Explícita Exata: Apresenta uma fórmula onde a colisão dos polos de $\Gamma(s)$ com os zeros triviais gera polos duplos e um termo logarítmico distinto ( $-2\beta(x)\log(2\pi x)$ ), uma característica não presente em fórmulas anteriores do tipo Mertens.
Formas Fechadas para Funções Especiais: Demonstra que as funções decorrentes dos zeros triviais admitem representações absolutamente convergentes como séries de Bessel ponderadas por Möbius, estendendo a analogia com critérios clássicos.
Um Critério Refinado: Fornece um critério para a Hipótese de Riemann onde a direção "se" é incondicional. A prova baseia-se em um novo limite inferior uniforme para a função Gamma em retas móveis (Lema 5.1), que substitui as assíntotas de abscissa fixa que falham neste contexto específico de deformação de contorno.

O autor observa que o método é robusto: se a Hipótese (S) for falsa, a fórmula permanece válida incondicionalmente com termos de resíduos modificados para dar conta das multiplicidades dos zeros. O artigo também sugere que estas técnicas se estendem às funções L de Dirichlet e que os termos logarítmicos aparecem genericamente para expoentes racionais no núcleo $e^{-n^\alpha x}$ .