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

Technisches Resümee: Über die Fundamentallösungen zweier nichtlokaler parabolischer Gleichungen im Zusammenhang mit logarithmischen Laplacians

Problemstellung
Diese Arbeit befasst sich mit einer von V. Maz'ya aufgeworfenen Frage bezüglich der analytischen Fortsetzung der Fundamentallösung einer spezifischen nichtlokalen parabolischen Gleichung, die mit einem logarithmischen Laplacian assoziiert ist. Die Untersuchung konzentriert sich auf zwei Integraloperatoren, $A_1$ und $A_2$, die im Kontext von Randwertproblemen für den gewöhnlichen Laplacian auf Domänen mit dünnen Hohlräumen auftreten.

1. Operator $A_1$: Dieser Operator ist auf dem Einheitskreis $C \subset \mathbb{R}^2$ definiert und steht im Zusammenhang mit dem konformen logarithmischen Laplacian. Seine Fundamentallösung $K_1(t, \phi, \theta)$ wird durch eine Spektralreihe dargestellt, deren Eigenwerte $2\lambda_n$ asymptotisch wie $2\ln(n)$ wachsen. Die Reihe konvergiert auf der Diagonale ($\phi=\theta$) nur für $\Re(t) > 1/2$. Maz'ya fragte, ob diese Reihendarstellung als meromorphe Funktion von $t$ fortgesetzt werden kann.
2. Operator $A_2$: Dieser Operator ist auf dem Intervall $[-1, 1]$ definiert und ist mit einem „regionalen“ fraktionalen Laplacian oder einem logarithmischen Dirichlet-Laplacian assoziiert. Seine Fundamentallösung $K_2(t, x, y)$ beinhaltet Legendre-Polynome und harmonische Zahlen $H_n$. Die Konvergenzeigenschaften seiner Spektralreihe sind komplexer und hängen von den räumlichen Variablen $x$ und $y$ ab.

Methodik
Die Autoren verwenden einen Ansatz der Spektralanalyse kombiniert mit asymptotischen Entwicklungen und Techniken der komplexen Analysis:

• Spektralzerlegung: Es wird gezeigt, dass beide Operatoren ein rein diskretes Spektrum besitzen. Die Fundamentallösungen werden als Summen über Eigenfunktionen dargestellt, die mit $e^{-t\lambda_n}$ gewichtet sind.
• Asymptotische Entwicklung der Eigenwerte: Das zentrale technische Werkzeug ist die asymptotische Entwicklung der Eigenwerte (speziell $2\lambda_n$ für $A_1$ und $H_n$ für $A_2$) für $n \to \infty$. Die Autoren nutzen die Entwicklung $\mu_n \sim s_{-1}\ln(n) + s_0 + \sum s_k n^{-k}$.
• Bell-Polynome und exponentielle erzeugende Funktionen: Um die analytische Fortsetzung zu handhaben, entwickeln die Autoren den Term $e^{-t\mu_n}$ unter Verwendung der asymptotischen Reihe. Dies führt zur Einführung von Polynomen $p_{j,S}(t)$, die über partielle gewöhnliche Bell-Polynome definiert sind. Diese Polynome erfassen die Koeffizienten der asymptotischen Entwicklung des Exponentialterms.
• Integraldarstellungen: Für den allgemeinen Fall von $K_2$ (wobei $x, y \in (-1, 1)$) nutzen die Autoren die Mellin-Transformation und die erzeugende Funktion für Legendre-Polynome (ausgedrückt via der Hypergeometrischen Funktion ${}_2F_1$). Dies ermöglicht es, die Spektralsumme in eine Integralrepräsentation umzuwandeln, was die Analyse der Singularitäten nahe $s=0$ (wobei $s$ die Integrationsvariable in der Mellin-Transformation ist) erleichtert.
• Singularitätsanalyse: Durch die Analyse des Verhaltens des Integranden nahe $s=0$, insbesondere der Wechselwirkung zwischen den logarithmischen Termen, die aus der hypergeometrischen Funktion resultieren, und dem Gamma-Funktions-Präfaktor, bestimmen die Autoren den Ort und die Art der Pole der meromorphen Fortsetzung.

Wesentliche Beiträge und Ergebnisse

1. Meromorphe Fortsetzung von $K_1$:

   • Theorem 1.2: Die Fundamentallösung $K_1(t, \phi, \theta)$ erweitert sich zu einer ganzen Funktion von $t$ für alle $\phi \neq \theta$.
   • Für den Diagonalfall $\phi = \theta$ erweitert sich $K_1(t, \phi, \phi)$ zu einer meromorphen Funktion mit einfachen Polen bei $t = 1/2 - m$ für $m \in \mathbb{N}_0$.
   • Die Residuen an diesen Polen werden explizit in Abhängigkeit von den Polynomen $p_{j,S_1}(t)$ und der Euler-Mascheroni-Konstante $\gamma_E$ berechnet.
   • Die Autoren vermuten, dass dies die einzigen Pole sind, unter der Voraussetzung, dass die spezifischen Polynome an diesen Punkten nicht verschwinden.

2. Meromorphe Fortsetzung von $K_2$:

   • Theorem 1.4: Für $x \neq y$ erweitert sich $K_2(t, x, y)$ zu einer ganzen Funktion von $t$.
   • Für den Diagonalfall $x = y$ erweitert sich $K_2(t, x, x)$ zu einer meromorphen Funktion.
     • Wenn $x = \pm 1$, treten Pole bei $t = 2$ und $t = -2m$ ($m \in \mathbb{N}$) auf.
     • Wenn $x \in (-1, 1)$, treten Pole bei $t = 1$ und potenziell bei $t = -m$ ($m \in \mathbb{N}$) auf.
   • Theorem 1.5: Explizite Formeln für die Residuen werden bereitgestellt. Diese beinhalten die Polynome $p_{j,S_2}(t)$, Bernoulli-Zahlen und Koeffizienten, die aus der Entwicklung der hypergeometrischen Funktion und des Wurzelterms der Integralrepräsentation abgeleitet wurden.

3. Neue mathematische Identitäten:

   • Die Analyse erfordert und beweist mehrere Identitäten involvierend Bell-Polynome, Bernoulli-Zahlen und die Digamma-Funktion.
   • Insbesondere etablieren die Autoren, dass bestimmte Polynome $p_{j,S_2(s)}(1-j)$ unabhängig von $s$ sind und für ungerade $j$ verschwinden.
   • Sie leiten eine Sequenz von Identitäten her, die lineare Kombinationen von Produkten von Bernoulli-Polynomen betreffen (z. B. $B_1(s)^2/2 - B_2(s)/2 = 1/24$).

4. Offene Probleme:

   • Die Arbeit formuliert spezifische Vermutungen bezüglich des Nicht-Verschwindens der Residuen-Polynome an den vermuteten Polstellen. Der Beweis dieser würde die exakte Polstruktur bestätigen (d. h. dass keine „zufälligen“ Auslöschungen auftreten, die die Pole entfernen).
   • Die Autoren merken an, dass eine meromorphe Fortsetzung zwar erwartet wird, aber nicht für alle Spektralreihen garantiert ist (sie zitieren Beispiele, in denen logarithmische Verzweigungspunkte auftreten), was ihre positiven Ergebnisse signifikant macht.

Bedeutung
Das Paper liefert eine fundierte affirmative Antwort auf Maz'yas Frage und zeigt auf, dass die Fundamentallösungen dieser nichtlokalen parabolischen Gleichungen – trotz ihrer anfänglichen Darstellung als Reihen mit begrenzter Konvergenz – reiche analytische Strukturen (meromorph oder ganz) besitzen.

Die Ergebnisse offenbaren, dass diese Lösungen „erinnernd“ an verschobene Riemannsche Zeta-Funktionen (auf der Diagonale) und Polylogarithmen oder Dirichlet-Eta-Funktionen (außerhalb der Diagonale) sind. Die Arbeit schließt die Lücke zwischen der Spektraltheorie der logarithmischen Laplacians und klassischen speziellen Funktionen. Darüber hinaus trägt die Ableitung neuer Identitäten involvierend Bell- und Bernoulli-Zahlen zur kombinatorischen Zahlentheorie bei, unabhängig von der primären PDE-Anwendung. Die Autoren schlagen bescheiden vor, dass ihre Methoden auch auf höherdimensionale Analoga dieser Operatoren adaptierbar sein könnten, betrachten dies jedoch als eine Richtung für zukünftige Arbeiten.