On the fundamental solutions of two nonlocal parabolic equations related to logarithmic Laplacians

Resumo Técnico: Sobre as Soluções Fundamentais de Duas Equações Parabólicas Não Locais Relacionadas a Laplacianos Logarítmicos

Enunciado do Problema
Este artigo aborda uma questão colocada por V. Maz'ya referente à continuação analítica da solução fundamental de uma equação parabólica não local específica associada a um Laplaciano logarítmico. O estudo foca em dois operadores integrais, $A_1$ e $A_2$, que surgem no contexto de problemas de valor de contorno para o Laplaciano ordinário em domínios com cavidades finas.

1. Operador $A_1$: Definido no círculo unitário $C \subset \mathbb{R}^2$, este operador está relacionado ao Laplaciano logarítmico conformal. Sua solução fundamental, $K_1(t, \phi, \theta)$, é representada por uma série espectral envolvendo autovalores $2\lambda_n$ que crescem assintoticamente como $2\ln(n)$. A série converge apenas para $\Re(t) > 1/2$ na diagonal ($\phi=\theta$). Maz'ya questionou se essa representação em série poderia ser continuada como uma função meromorfa de $t$.
2. Operador $A_2$: Definido no intervalo $[-1, 1]$, este operador está associado a um Laplaciano fracionário "regional" ou a um Laplaciano de Dirichlet logarítmico. Sua solução fundamental, $K_2(t, x, y)$, envolve polinômios de Legendre e números harmônicos $H_n$. As propriedades de convergência de sua série espectral são mais complexas, dependendo das variáveis espaciais $x$ e $y$.

Metodologia
Os autores empregam uma abordagem de análise espectral combinada com expansões assintóticas e técnicas de análise complexa:

• Decomposição Espectral: Mostra-se que ambos os operadores possuem espectros puramente discretos. As soluções fundamentais são expressas como somas sobre autofunções ponderadas por $e^{-t\lambda_n}$.
• Expansão Assintótica de Autovalores: A ferramenta técnica central é a expansão assintótica dos autovalores (especificamente $2\lambda_n$ para $A_1$ e $H_n$ para $A_2$) conforme $n \to \infty$. Os autores utilizam a expansão $\mu_n \sim s_{-1}\ln(n) + s_0 + \sum s_k n^{-k}$.
• Polinômios de Bell e Funções Geratrizes Exponenciais: Para lidar com a continuação analítica, os autores expandem o termo $e^{-t\mu_n}$ usando a série assintótica. Isso leva à introdução dos polinômios $p_{j,S}(t)$, definidos via polinômios de Bell ordinários parciais. Esses polinômios capturam os coeficientes da expansão assintótica do termo exponencial.
• Representações Integrais: Para o caso geral de $K_2$ (onde $x, y \in (-1, 1)$), os autores utilizam a transformada de Mellin e a função geratriz para polinômios de Legendre (expressa via a função hipergeométrica ${}_2F_1$). Isso permite que a soma espectral seja convertida em uma representação integral, facilitando a análise de singularidades próximas a $s=0$ (onde $s$ é a variável de integração na transformada de Mellin).
• Análise de Singularidades: Ao analisar o comportamento do integrando próximo a $s=0$, particularmente a interação entre os termos logarítmicos provenientes da função hipergeométrica e o fator Gamma, os autores determinam a localização e a natureza dos polos da continuação meromorfa.

Principais Contribuições e Resultados

1. Continuação Meromorfa de $K_1$:

   • Teorema 1.2: A solução fundamental $K_1(t, \phi, \theta)$ estende-se a uma função inteira de $t$ para todo $\phi \neq \theta$.
   • Para o caso da diagonal $\phi = \theta$, $K_1(t, \phi, \phi)$ estende-se a uma função meromorfa com polos simples em $t = 1/2 - m$ para $m \in \mathbb{N}_0$.
   • Os resíduos nesses polos são explicitamente calculados em termos dos polinômios $p_{j,S_1}(t)$ e da constante de Euler-Mascheroni $\gamma_E$.
   • Os autores conjecturam que estes são os únicos polos, dependendo do não-anulamento de polinômios específicos avaliados nestes pontos.

2. Continuação Meromorfa de $K_2$:

   • Teorema 1.4: Para $x \neq y$, $K_2(t, x, y)$ estende-se a uma função inteira de $t$.
   • Para o caso da diagonal $x = y$, $K_2(t, x, x)$ estende-se a uma função meromorfa.
     • Se $x = \pm 1$, os polos ocorrem em $t = 2$ e $t = -2m$ ($m \in \mathbb{N}$).
     • Se $x \in (-1, 1)$, os polos ocorrem em $t = 1$ e potencialmente em $t = -m$ ($m \in \mathbb{N}$).
   • Teorema 1.5: Fórmulas explícitas para os resíduos são fornecidas. Elas envolvem os polinômios $p_{j,S_2}(t)$, números de Bernoulli e coeficientes derivados da expansão da função hipergeométrica e do termo de raiz quadrada na representação integral.

3. Novas Identidades Matemáticas:

   • A análise exige e prova diversas identidades envolvendo polinômios de Bell, números de Bernoulli e a função digama.
   • Especificamente, os autores estabelecem que certos polinômios $p_{j,S_2(s)}(1-j)$ são independentes de $s$ e anulam-se para $j$ ímpar.
   • Eles derivam uma sequência de identidades envolvendo combinações lineares de produtos de polinômios de Bernoulli (por exemplo, $B_1(s)^2/2 - B_2(s)/2 = 1/24$).

4. Problemas Abertos:

   • O artigo formula conjecturas específicas sobre o não-anulamento dos polinômios de resíduo nos locais suspeitos dos polos. Provar isso confirmaria a estrutura exata dos polos (ou seja, que não ocorrem cancelamentos "acidentais" que removam os polos).
   • Os autores observam que, embora a continuação meromorfa seja esperada, ela não é garantida para todas as séries espectrais (citando exemplos onde ocorrem pontos de ramificação logarítmica), tornando seus resultados positivos significativos.

Significância
O artigo fornece uma resposta afirmativa rigorosa à questão de Maz'ya, demonstrando que as soluções fundamentais destas equações parabólicas não locais, apesar de sua representação inicial como séries com convergência limitada, possuem estruturas analíticas ricas (meromorfas ou inteiras).

Os resultados revelam que estas soluções são "reminiscentes" de funções zeta de Riemann deslocadas (na diagonal) e polilogaritmos ou funções eta de Dirichlet (fora da diagonal). O trabalho une a teoria espectral dos Laplacianos logarítmicos às funções especiais clássicas. Além disso, a derivação de novas identidades envolvendo números de Bell e de Bernoulli contribui para a teoria de números combinatória, independentemente da aplicação principal em EDPs. Os autores sugerem modestamente que seus métodos podem ser adaptáveis para análogos de maior dimensão destes operadores, embora isso seja uma direção para trabalhos futuros.