On Apostol-Type Mersenne-Bernoulli and Mersenne-Euler Polynomials

Resumo Técnico: Polinômios de Bernoulli-Mersenne e Euler-Mersenne do Tipo Apostol

Enunciado do Problema e Contexto
Polinômios especiais, particularmente os polinômios clássicos de Bernoulli e Euler, são fundamentais na teoria dos números, combinatória e física matemática. Embora existam generalizações significativas, como os polinômios de Apostol-Bernoulli e Apostol-Euler (que incorporam um parâmetro $\lambda$), e cálculos baseados em sequências tenham sido desenvolvidos para as sequências de Fibonacci (cálculo-F, cálculo Dourado) e Padovan, há uma necessidade de estender esses frameworks para os números de Mersenne ($M_n = 2^n - 1$). Os números de Mersenne são historicamente significativos no estudo de números perfeitos e grandes primos. Este artigo aborda a lacuna na literatura introduzindo um cálculo baseado em números de Mersenne (M-cálculo) e utilizando-o para definir e analisar uma nova classe de polinômios especiais: os polinômios de Apostol-Mersenne-Bernoulli e Mersenne-Euler de ordem $\alpha$.

Metodologia
Os autores constroem um framework matemático denominado "M-cálculo", que serve como um análogo ao cálculo clássico, mas está intrinsecamente ligado aos números de Mersenne. A metodologia procede em três estágios:

1. Definições Fundamentais: O artigo estabelece os operadores básicos do M-cálculo:

   • M-fatorial ($M_n!$): Definido recursivamente como $M_n! = M_n M_{n-1}!$.
   • Coeficientes binomiais M: Definidos usando M-fatoriais, satisfazendo relações de simetria e recorrência específicas, distintas dos coeficientes binomiais clássicos.
   • Função exponencial M ($e_M^{xt}$): Definida via uma série de potências usando M-fatoriais. Crucialmente, esta função não é multiplicativa no sentido clássico; em vez disso, satisfaz $e_M^{xt} e_M^{yt} = e_M^{(x+_M y)t}$, onde $+_M$ denota a adição binomial M.
   • M-derivada ($D_x$): Definida como $D_x(f(x)) = \frac{f(2x) - f(x)}{x}$. Este operador atua em monômios como $D_x(x^n) = M_n x^{n-1}$.
   • M-integral: Definida como a inversa da M-derivada, com regras de integração específicas derivadas da regra do produto da M-derivada.

2. Definição de Polinômios: Usando as funções geratrizes do M-cálculo, os autores definem os polinômios de Apostol-Mersenne-Bernoulli $B_n^{(\alpha)}(x; \lambda)$ e os polinômios de Apostol-Mersenne-Euler $E_n^{(\alpha)}(x; \lambda)$ de ordem $\alpha$ através das funções geratrizes:
   $$\left( \frac{t}{\lambda e_M^t - 1} \right)^\alpha e_M^{xt} = \sum_{n=0}^\infty B_n^{(\alpha)}(x; \lambda) \frac{t^n}{M_n!}$$
   $$\left( \frac{2}{\lambda e_M^t + 1} \right)^\alpha e_M^{xt} = \sum_{n=0}^\infty E_n^{(\alpha)}(x; \lambda) \frac{t^n}{M_n!}$$

3. Derivação de Propriedades: Os autores derivam sistematicamente as propriedades manipulando essas funções geratrizes, aplicando a M-derivada e utilizando o teorema binomial M.

Principais Contribuições e Resultados
O artigo estabelece um conjunto abrangente de identidades e teoremas para os novos polinômios:

• Representações Explícitas: Mostra-se que os polinômios são mônicos de grau $n$ e podem ser expressos como somas envolvendo os correspondentes números de Apostol-Mersenne e potências de $x$ ponderadas por coeficientes binomiais M.
• Teoremas de Adição: Fórmulas de adição generalizadas são derivadas para ambos os tipos de polinômios, relacionando $P_n(x +_M y)$ a somas de produtos de polinômios de ordem inferior e potências de $y$.
• Equações de Diferença: O artigo estabelece relações de recorrência conectando polinômios de ordem $\alpha$ e $\alpha - 1$. Especificamente, derivam equações de diferença envolvendo deslocamentos por $+_M 1$ (por exemplo, $\lambda B_n^{(\alpha)}(x +_M 1; \lambda) - B_n^{(\alpha)}(x; \lambda)$).
• Fórmulas de Adição Mista: Teoremas são apresentados que ligam os polinômios de Apostol-Mersenne-Bernoulli aos polinômios de Apostol-Mersenne-Euler, fornecendo fórmulas de adição mista que expressam um tipo em termos do outro.
• Propriedades de Derivada e Integral:
  • A M-derivada atua como um operador de redução: $D_x(B_n^{(\alpha)}(x; \lambda)) = M_n B_{n-1}^{(\alpha)}(x; \lambda)$.
  • Expressões de forma fechada são derivadas para integrais M ponderadas desses polinômios sobre o intervalo $[0, 1]$, denotadas por $I_{m,n}^{(\alpha)}$ e $J_{m,n}^{(\alpha)}$. Esses resultados envolvem somas de números de Mersenne e os subjacentes números de Apostol-Mersenne.
• Identidades de Convolução: Os autores derivam identidades de convolução específicas para os números de Apostol-Mersenne (o caso onde $x=0$), relacionando somas de produtos desses números a combinações lineares dos próprios números.

Significância e Alegações
O artigo afirma estender a teoria dos polinômios especiais ao integrá-los com as propriedades aritméticas dos números de Mersenne através do novo framework do M-cálculo. A significância reside em:

1. Generalização: Fornece uma generalização unificada dos polinômios do tipo Apostol baseada em sequências de Mersenne, análoga ao trabalho anterior em sequências de Fibonacci e Padovan.
2. Completude Estrutural: O artigo demonstra que esses novos polinômios possuem uma rica estrutura algébrica, espelhando a teoria clássica com fórmulas explícitas para derivadas, integrais, adição e recorrência.
3. Direções Futuras: Os autores sugerem modestamente que o framework estabelecido poderia ser aplicado a outras sequências recursivas (como números de Pell, Jacobsthal ou Perrin) e que trabalhos futuros poderiam investigar computacionalmente os zeros e representações gráficas desses polinômios, bem como explorar conexões com funções zeta M-análogas.

O trabalho não propõe aplicações experimentais, mas contribui para o cenário teórico das funções especiais e da teoria dos números.