Laurent type expansion of multiple polylogarithms at integer points

Resumo Técnico: Expansão do Tipo Laurent de Polilogaritmos Múltiplos em Pontos Inteiros

Enunciado do Problema
O artigo aborda o comportamento local das funções de polilogaritmo múltiplo, denotadas por $Li(a_1, \dots, a_r; z_1, \dots, z_r)$ ou $Liz(s_1, \dots, s_r)$, especificamente em pontos inteiros no domínio complexo $\mathbb{C}^r$. Embora a convergência e a holomorfia dessas funções sejam bem compreendidas dentro de domínios específicos (como $U_r(z)$), seu comportamento em pontos inteiros, particularmente fora do domínio padrão de convergência ou onde a série diverge, permanece delicado. O trabalho anterior dos autores [4] estabeleceu um processo de regularização para essas séries e identificou um domínio de convergência maior, $V_r(z)$, mas não resolveu totalmente a questão da holomorfia nem forneceu expansões explícitas nesses pontos inteiros. O problema central é construir expansões explícitas do tipo Laurent para essas funções em torno de um ponto inteiro arbitrário $a \in \mathbb{Z}^r$ e determinar as condições sob as quais as funções são holomorfas nesses pontos.

Metodologia
Os autores empregam uma abordagem multifacetada combinando técnicas de regularização, identidades combinatórias e análise assintótica:

1. Regularização e Séries de Potências Formais: Os autores utilizam um processo de regularização definido em seu trabalho anterior [4]. Eles definem o "valor regularizado" $\ell(a_1, \dots, a_r)_{[k_1, \dots, k_r]}(z)$ como o termo constante da expansão assintótica das somas parciais da série envolvendo termos logarítmicos. Isso permite a construção de uma série de potências formal (Equação 9) que representa a função de polilogaritmo múltiplo regularizada, $Li^{Reg}_{(z;a)}(s_1, \dots, s_r)$.

2. Identidades Combinatórias: Um passo crucial envolve a relação entre a função de polilogaritmo múltiplo e a função de polilogaritmo-estrela múltipla ($Li^\star$). Os autores utilizam uma identidade combinatória (Teorema 5, Equação 19) que expressa a soma parcial do polilogaritmo como uma soma alternada envolvendo a cauda da função-estrela e polilogaritmos de profundidade inferior.

3. Expansão Assintótica de Caudas: O artigo analisa o comportamento assintótico das caudas das funções-estrela, $Li^\star_{z}(s_1, \dots, s_r)_{\ge N}$, conforme $N \to \infty$. Usando fórmulas de translação (Proposição 1) e indução sobre a profundidade e os parâmetros inteiros, os autores derivam expansões assintóticas completas para essas caudas em relação a uma escala de comparação específica $E$ envolvendo potências de $N$ e $\log N$ com coeficientes em uma álgebra específica $\mathbb{C}_z$.

4. Inversão de Matrizes e Funções Racionais: Para relacionar a função regularizada à função original, os autores estabelecem sistemas de equações lineares envolvendo as funções em várias profundidades. Ao expressar essas relações em forma matricial (por exemplo, $V = M^{-1}V_{Reg}$), eles invertem matrizes triangulares superiores com entradas de funções racionais. Esse processo de inversão produz os coeficientes explícitos para a expansão de Laurent.

Principais Contribuições e Resultados

• Expansão Explícita do Tipo Laurent (Teorema 4 & Teorema 6): O principal resultado é a derivação de uma expansão explícita do tipo Laurent para a função de polilogaritmo múltiplo $Liz(s_1, \dots, s_r)$ em torno de qualquer ponto inteiro $a \in \mathbb{Z}^r$.

  • Para pontos $a$ dentro do domínio $U_r(z)$, o Teorema 4 fornece uma expansão onde a função é expressa como uma soma de funções regularizadas multiplicadas por funções racionais envolvendo hiperplanos específicos $H^{(i)}_j$.
  • O Teorema 6 generaliza isso para todos os pontos inteiros em $\mathbb{C}^r$. Ele estabelece que a série de potências formal da função regularizada converge em uma vizinhança de $a$ e se estende a uma função meromorfa em $\mathbb{C}^r$. A expansão é dada por:
    $$Li^{Reg}_{(z;a)}(s) = \sum_{i=0}^r (-1)^i Li_{(z_{i+1}, \dots, z_r)}(s_{i+1}, \dots, s_r) C_i(s_1, \dots, s_i)$$
    onde $C_i$ são funções racionais explicitamente definidas envolvendo números de Bernoulli e polinômios de Euler.

• Holomorfia em Pontos Inteiros (Corolário 1): O artigo prova que, para qualquer ponto inteiro $a \in V_r(z)$, a função de polilogaritmo múltiplo $Liz(s)$ é holomorfa em $a$. Além disso, o valor da função em $a$ é exatamente o valor regularizado $\ell(a_1, \dots, a_r)_{[0, \dots, 0]}(z)$. Isso resolve a questão delicada da holomorfia nesses pontos, que foi deixada em aberto em [4].

• Extensão para Pontos Não Convergentes (Corolário 2): Os autores mostram que mesmo para pontos inteiros fora de $V_r(z)$, se os parâmetros $z_i$ satisfizerem condições específicas (especificamente $z_{[1,i]} \neq 1$ para todo $i$), a função permanece holomorfa em toda parte em $\mathbb{C}^r$, e seu valor em qualquer ponto inteiro é igual ao valor regularizado.

• Análise Assintótica de Funções-Estrela (Proposição 3): O artigo fornece uma expansão assintótica completa para as caudas das funções de polilogaritmo-estrela com coeficientes variáveis, generalizando resultados anteriores para casos de variável única.

Significância
O artigo afirma estender o trabalho de [6], que forneceu expansões de Laurent para funções zeta múltiplas, para o caso mais amplo de funções de polilogaritmo múltiplo com parâmetros de raízes da unidade. Ao estabelecer a convergência da série de potências regularizada e fornecer fórmulas explícitas para a expansão, os autores preenchem a lacuna entre a continuação analítica dessas funções e seus valores aritméticos em pontos inteiros. Os resultados confirmam que o processo de regularização definido em [4] produz a correta continuação analítica, validando assim os valores regularizados como os verdadeiros valores das funções meromorfas em pontos inteiros onde a série original pode não convergir. O trabalho fornece um arcabouço sistemático para compreender as singularidades e o comportamento local dessas funções, que são fundamentais na teoria dos números e na física matemática.