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

Sintesi Tecnica: Sulle Soluzioni Fondamentali di Due Equazioni Paraboliche Non Locali Correlate ai Laplaciani Logaritmici

Enunciato del Problema
Questo articolo affronta una questione posta da V. Maz'ya riguardante la continuazione analitica della soluzione fondamentale di una specifica equazione parabolica non locale associata a un laplaciano logaritmico. Lo studio si concentra su due operatori integrali, $A_1$ e $A_2$, che emergono nel contesto dei problemi al contorno per il laplaciano ordinario su domini con cavità sottili.

1. Operatore $A_1$: Definito sulla circonferenza unitaria $C \subset \mathbb{R}^2$, questo operatore è correlato al laplaciano logaritmico conformale. La sua soluzione fondamentale, $K_1(t, \phi, \theta)$, è rappresentata da una serie spettrale che coinvolge autovalori $2\lambda_n$ i cui valori crescono asintoticamente come $2\ln(n)$. La serie converge solo per $\Re(t) > 1/2$ sulla diagonale ($\phi=\theta$). Maz'ya ha chiesto se questa rappresentazione in serie potesse essere continuata come funzione meromorfa di $t$.
2. Operatore $A_2$: Definito sull'intervallo $[-1, 1]$, questo operatore è associato a un laplaciano frazionario "regionale" o a un laplaciano di Dirichlet logaritmico. La sua soluzione fondamentale, $K_2(t, x, y)$, coinvolge i polinomi di Legendre e i numeri armonici $H_n$. Le proprietà di convergenza della sua serie spettrale sono più complesse e dipendono dalle variabili spaziali $x$ e $y$.

Metodologia
Gli autori impiegano un approccio di analisi spettrale combinato con espansioni asintotiche e tecniche di analisi complessa:

• Decomposizione Spettrale: Entrambi gli operatori mostrano di avere spettri puramente discreti. Le soluzioni fondamentali sono espresse come somme su autofunzioni pesate da $e^{-t\lambda_n}$.
• Espansione Asintotica degli Autovalori: Lo strumento tecnico centrale è l'espansione asintotica degli autovalori (specificamente $2\lambda_n$ per $A_1$ e $H_n$ per $A_2$) per $n \to \infty$. Gli autori utilizzano l'espansione $\mu_n \sim s_{-1}\ln(n) + s_0 + \sum s_k n^{-k}$.
• Polinomi di Bell e Funzioni Generatrici Esponenziali: Per gestire la continuazione analitica, gli autori espandono il termine $e^{-t\mu_n}$ utilizzando la serie asintotica. Ciò porta all'introduzione di polinomi $p_{j,S}(t)$ definiti tramite polinomi di Bell ordinari parziali. Questi polinomi catturano i coefficienti dell'espansione asintotica del termine esponenziale.
• Rappresentazioni Integrali: Per il caso generale di $K_2$ (dove $x, y \in (-1, 1)$), gli autori utilizzano la trasformata di Mellin e la funzione generatrice per i polinomi di Legendre (espressa tramite la funzione ipergeometrica ${}_2F_1$). Ciò consente di convertire la somma spettrale in una rappresentazione integrale, facilitando l'analisi delle singolarità vicino a $s=0$ (dove $s$ è la variabile di integrazione nella trasformata di Mellin).
• Analisi delle Singolarità: Analizzando il comportamento dell'integrando vicino a $s=0$, in particolare l'interazione tra i termini logaritmici derivanti dalla funzione ipergeometrica e dal fattore Gamma, gli autori determinano la posizione e la natura dei poli della continuazione meromorfa.

Contributi Chiave e Risultati

1. Continuazione Meromorfa di $K_1$:

   • Teorema 1.2: La soluzione fondamentale $K_1(t, \phi, \theta)$ si estende a una funzione intera di $t$ per ogni $\phi \neq \theta$.
   • Per il caso diagonale $\phi = \theta$, $K_1(t, \phi, \phi)$ si estende a una funzione meromorfa con poli semplici in $t = 1/2 - m$ per $m \in \mathbb{N}_0$.
   • I residui in questi poli sono calcolati esplicitamente in termini dei polinomi $p_{j,S_1}(t)$ e della costante di Eulero-Mascheroni $\gamma_E$.
   • Gli autori congetturano che questi siano gli unici poli, a condizione che i polinomi specifici non si annullino in tali punti.

2. Continuazione Meromorfa di $K_2$:

   • Teorema 1.4: Per $x \neq y$, $K_2(t, x, y)$ si estende a una funzione intera di $t$.
   • Per il caso diagonale $x = y$, $K_2(t, x, x)$ si estende a una funzione meromorfa.
     • Se $x = \pm 1$, i poli si verificano in $t = 2$ e $t = -2m$ ($m \in \mathbb{N}$).
     • Se $x \in (-1, 1)$, i poli si verificano in $t = 1$ e potenzialmente in $t = -m$ ($m \in \mathbb{N}$).
   • Teorema 1.5: Vengono fornite formule esplicite per i residui. Queste coinvolgono i polinomi $p_{j,S_2}(t)$, i numeri di Bernoulli e i coefficienti derivati dall'espansione della funzione ipergeometrica e del termine radice quadrata nella rappresentazione integrale.

3. Nuove Identità Matematiche:

   • L'analisi richiede e dimostra diverse identità che coinvolgono i polinomi di Bell, i numeri di Bernoulli e la funzione digamma.
   • Nello specifico, gli autori stabiliscono che certi polinomi $p_{j,S_2(s)}(1-j)$ sono indipendenti da $s$ e si annullano per $j$ dispari.
   • Derivano una sequenza di identità che coinvolgono combinazioni lineari di prodotti di polinomi di Bernoulli (ad esempio, $B_1(s)^2/2 - B_2(s)/2 = 1/24$).

4. Problemi Aperti:

   • Il lavoro formula specifiche congetture riguardanti il non annullamento dei polinomi dei residui nei punti dei poli sospetti. Dimostrare ciò confermerebbe l'esatta struttura dei poli (ovvero che non avvengono cancellazioni "accidentali" che eliminano i poli).
   • Gli autori osservano che, sebbene la continuazione meromorfa sia attesa, essa non è garantita per tutte le serie spettrali (citando esempi in cui si verificano punti di ramificazione logaritmica), rendendo significativi i loro risultati positivi.

Significatività
Il lavoro fornisce una risposta affermativa rigorosa alla domanda di Maz'ya, dimostrando che le soluzioni fondamentali di queste equazioni paraboliche non locali, nonostante la loro rappresentazione iniziale come serie con convergenza limitata, possiedono ricche strutture analitiche (meromorfe o intere).

I risultati rivelano che queste soluzioni sono "reminiscenti" delle funzioni zeta di Riemann traslate (sulla diagonale) e delle funzioni polilogaritmi o funzioni eta di Dirichlet (fuori diagonale). Il lavoro colma il divario tra la teoria spettrale dei laplaciani logaritmici e le classiche funzioni speciali. Inoltre, la derivazione di nuove identità che coinvolgono i numeri di Bell e di Bernoulli contribuisce alla teoria dei numeri combinatoria, indipendentemente dalla primaria applicazione alle PDE. Gli autori suggeriscono modestamente che i loro metodi potrebbero essere adattabili ad analoghi di ordine superiore di questi operatori, sebbene questa sia indicata come una direzione per lavori futuri.