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

Technische Samenvatting: Over de fundamentele oplossingen van twee niet-lokale parabolische vergelijkingen gerelateerd aan logaritmische Laplacians

Probleemstelling
Dit artikel behandelt een vraag gesteld door V. Maz'ya met betrekking tot de analytische voortzetting van de fundamentele oplossing van een specifieke niet-lokale parabolische vergelijking geassocieerd met een logaritmische Laplaciaan. De studie richt zich op twee integraaloperatoren, $A_1$ en $A_2$, die voortkomen uit randwaardeproblemen voor de gewone Laplaciaan op domeinen met dunne holtes.

1. Operator $A_1$: Gedefinieerd op de eenheidscirkel $C \subset \mathbb{R}^2$, is deze operator gerelateerd aan de conformale logaritmische Laplaciaan. Haar fundamentele oplossing, $K_1(t, \phi, \theta)$, wordt gerepresenteerd door een spectrale reeks met eigenwaarden $2\lambda_n$ die asymptotisch groeien als $2\ln(n)$. De reeks convergeert alleen voor $\Re(t) > 1/2$ op de diagonaal ($\phi=\theta$). Maz'ya vroeg zich af of deze reeksrepresentatie als een meromorfe functie van $t$ voortgezet kon worden.
2. Operator $A_2$: Gedefinieerd op het interval $[-1, 1]$, is deze operator geassocieerd met een "regionale" fractionele Laplaciaan of een logaritmische Dirichlet-Laplaciaan. Haar fundamentele oplossing, $K_2(t, x, y)$, bevat Legendre-polynomen en harmonische getallen $H_n$. De convergentie-eigenschappen van haar spectrale reeks zijn complexer en hangen af van de ruimtelijke variabelen $x$ en $y$.

Methodologie
De auteurs maken gebruik van een spectrale analyse-aanpak gecombineerd met asymptotische expansies en technieken uit de complexe analyse:

• Spectrale Decompositie: Voor beide operatoren wordt aangetoond dat zij zuivere discrete spectra hebben. De fundamentele oplossingen worden uitgedrukt als sommen over eigenfuncties gewogen door $e^{-t\lambda_n}$.
• Asymptotische Expansie van Eigenwaarden: Het kerninstrument is de asymptotische expansie van de eigenwaarden (specifiek $2\lambda_n$ voor $A_1$ en $H_n$ voor $A_2$) naarmate $n \to \infty$. De auteurs maken gebruik van de expansie $\mu_n \sim s_{-1}\ln(n) + s_0 + \sum s_k n^{-k}$.
• Bell-polynomen en Exponentiële Genererende Functies: Om de analytische voortzetting te behandelen, expanderen de auteurs de term $e^{-t\mu_n}$ met behulp van de asymptotische reeks. Dit leidt tot de introductie van de polynomen $p_{j,S}(t)$, gedefinieerd via partiële gewone Bell-polynomen. Deze polynomen vatten de coëfficiënten van de asymptotische expansie van de exponentiële term samen.
• Integrale Representaties: Voor het algemene geval van $K_2$ (waarbij $x, y \in (-1, 1)$), maken de auteurs gebruik van de Mellin-transformatie en de genererende functie voor Legendre-polynomen (uitgedrukt via de hypergeometrische functie ${}_2F_1$). Dit maakt het mogelijk om de spectrale som om te zetten in een integrale representatie, wat de analyse van singulariteiten nabij $s=0$ (waar $s$ de integratievariabele in de Mellin-transformatie is) vergemakkelijkt.
• Singulariteitsanalyse: Door het gedrag van de integrand nabij $s=0$ te analyseren, in het bijzonder de interactie tussen de logaritmische termen voortvloeiend uit de hypergeometrische functie en de Gamma-functie prefactor, bepalen de auteurs de locatie en de aard van de polen van de meromorfe voortzetting.

Belangrijkste Bijdragen en Resultaten

1. Meromorfe Voortzetting van $K_1$:

   • Stelling 1.2: De fundamentele oplossing $K_1(t, \phi, \theta)$ breidt zich uit tot een hele functie van $t$ voor alle $\phi \neq \theta$.
   • Voor het diagonale geval $\phi = \theta$, breidt $K_1(t, \phi, \phi)$ zich uit tot een meromorfe functie met enkelvoudige polen bij $t = 1/2 - m$ voor $m \in \mathbb{N}_0$.
   • De residuen bij deze polen worden expliciet berekend in termen van de polynomen $p_{j,S_1}(t)$ en de Euler-Mascheroni constante $\gamma_E$.
   • De auteurs vermoeden dat dit de enige polen zijn, afhankelijk van het niet-nul zijn van specifieke polynomen geëvalueerd in deze punten.

2. Meromorfe Voortzetting van $K_2$:

   • Stelling 1.4: Voor $x \neq y$ breidt $K_2(t, x, y)$ zich uit tot een hele functie van $t$.
   • Voor het diagonale geval $x = y$, breidt $K_2(t, x, x)$ zich uit tot een meromorfe functie.
     • Als $x = \pm 1$, treden polen op bij $t = 2$ en $t = -2m$ ($m \in \mathbb{N}$).
     • Als $x \in (-1, 1)$, treden polen op bij $t = 1$ en potentieel bij $t = -m$ ($m \in \mathbb{N}$).
   • Stelling 1.5: Expliciete formules voor de residuen worden geleverd. Deze bevatten de polynomen $p_{j,S_2}(t)$, Bernoulli-getallen en coëfficiënten afgeleid van de expansie van de hypergeometrische functie en de wortelterm in de integrale representatie.

3. Nieuwe Wiskundige Identiteiten:

   • De analyse vereist en bewijst verschillende identiteiten betrokken bij Bell-polynomen, Bernoulli-getallen en de digamma-functie.
   • Specifiek stellen de auteurs vast dat bepaalde polynomen $p_{j,S_2(s)}(1-j)$ onafhankelijk zijn van $s$ en verdwijnen voor oneven $j$.
   • Zij leiden een reeks identiteiten af waarbij lineaire combinaties van producten van Bernoulli-polynomen betrokken zijn (bijv. $B_1(s)^2/2 - B_2(s)/2 = 1/24$).

4. Openstaande Problemen:

   • Het artikel formuleert specifieke conjecturen met betrekking tot het niet-nul zijn van de residu-polynomen op de vermoedelijke locaties van de polen. Het bewijzen hiervan zou bevestigen dat de exacte poolstructuur exact is (dat er geen "toevallige" annulaties optreden die de polen verwijderen).
   • De auteurs merken op dat hoewel meromorfe voortzetting wordt verwacht, dit niet gegarandeerd is voor alle spectrale reeksen (zij citeren voorbeelden waar logaritmische takpunten voorkomen), wat hun positieve resultaten significant maakt.

Betekenis
Het artikel biedt een rigoureus bevestigend antwoord op de vraag van Maz'ya, waarmee wordt aangetoond dat de fundamentele oplossingen van deze niet-lokale parabolische vergelijkingen, ondanks hun initiële representatie als reeksen met beperkte convergentie, rijke analytische structuren (meromorf of geheel) bezitten.

De resultaten onthullen dat deze oplossingen "herinneren aan" verschoven Riemann-zetafuncties (op de diagonaal) en polylogaritmen of Dirichlet-eta-functies (off-diagonaal). Het werk overbrugt de kloof tussen de spectrale theorie van logaritmische Laplacians en klassieke speciale functies. Bovendien draagt de afleiding van nieuwe identiteiten betrokken bij Bell- en Bernoulli-getallen bij aan de combinatorische getaltheorie, onafhankelijk van de primaire toepassing in de PDE. De auteurs suggereren bescheiden dat hun methoden mogelijk aanpasbaar zijn aan hogere-dimensionale analogen van deze operatoren, hoewel dit een richting is voor toekomstig werk.