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

技术摘要：关于两个与对数拉普拉斯算子相关的非局部抛物方程基本解的研究

问题陈述
本文解决了 V. Maz'ya 关于与对数拉普拉斯算子相关的特定非局部抛物方程基本解的解析延拓问题。研究重点在于两个积分算子 $A_1$ 和 $A_2$，它们出现在具有薄腔区域的区域内普通拉普拉斯算子的边值问题背景下。

1. 算子 $A_1$： 定义在单位圆 $C \subset \mathbb{R}^2$ 上，该算子与共形对数拉普拉斯算子相关。其基本解 $K_1(t, \phi, \theta)$ 由一个谱级数表示，其中特征值 $2\lambda_n$ 的渐近增长速度为 $2\ln(n)$。该级数仅在对角线（$\phi=\theta$）上对于 $\Re(t) > 1/2$ 收敛。Maz'ya 曾询问该级数表示是否可以作为 $t$ 的亚纯函数进行延拓。
2. 算子 $A_2$： 定义在区间 $[-1, 1]$ 上，该算子与“区域性”分数拉普拉斯算子或对数狄利克雷拉普拉斯算子相关。其基本解 $K_2(t, x, y)$ 涉及勒让德多项式和调和数 $H_n$。其谱级数的收敛性质更为复杂，取决于空间变量 $x$ 和 $y$。

方法论
作者采用了结合渐近展开与复分析技术的谱分析方法：

• 谱分解： 这两个算子均被证明具有纯离散谱。基本解被表示为由 $e^{-t\lambda_n}$ 加权的特征函数之和。
• 特征值的渐近展开： 核心技术工具是特征值的渐近展开（特别是针对 $A_1$ 的 $2\lambda_n$ 和针对 $A_2$ 的 $H_n$）。作者利用展开式 $\mu_n \sim s_{-1}\ln(n) + s_0 + \sum s_k n^{-k}$。
• 贝尔多项式与指数生成函数： 为了处理解析延拓，作者利用渐近级数展开项 $e^{-t\mu_n}$。这导致了通过部分普通贝尔多项式定义的 $p_{j,S}(t)$ 多项式的引入。这些多项式捕捉了指数项渐近展开的系数。
• 积分表示： 对于 $K_2$ 的一般情况（其中 $x, y \in (-1, 1)$），作者利用 Mellin 变换和勒让德多项式的生成函数（通过超几何函数 ${}_2F_1$ 表示）。这使得可以将谱和转化为积分表示，从而便于分析靠近 $s=0$ 处的奇异性（其中 $s$ 是 Mellin 变换中的积分变量）。
• 奇异性分析： 通过分析积分函数在 $s=0$ 附近的行为，特别是来自超几何函数与 Gamma 函数前因子的对数项之间的相互作用，作者确定了亚纯延拓中极点的位置与性质。

主要贡献与结果

1. $K_1$ 的亚纯延拓：

   • 定理 1.2： 基本解 $K_1(t, \phi, \theta)$ 对于所有 $\phi \neq \theta$ 都是 $t$ 的整函数。
   • 对于对角线情况 $\phi = \theta$，$K_1(t, \phi, \phi)$ 是一个亚纯函数，在 $t = 1/2 - m$（其中 $m \in \mathbb{N}_0$）处具有单极点。
   • 这些极点的留数通过多项式 $p_{j,S_1}(t)$ 和欧拉-马斯切罗尼常数 $\gamma_E$ 被显式计算。
   • 作者推测这些是仅有的极点，这取决于特定多项式在这些点上的非零性。

2. $K_2$ 的亚纯延拓：

   • 定理 1.4： 对于 $x \neq y$，$K_2(t, x, y)$ 是 $t$ 的整函数。
   • 对于对角线情况 $x = y$，$K_2(t, x, x)$ 是一个亚纯函数。
     • 若 $x = \pm 1$，极点出现在 $t = 2$ 和 $t = -2m$（$m \in \mathbb{N}$）处。
     • 若 $x \in (-1, 1)$，极点出现在 $t = 1$ 处，并可能在 $t = -m$（$m \in \mathbb{N}$）处出现。
   • 定理 1.5： 提供了留数的显式公式。这些公式涉及多项式 $p_{j,S_2}(t)$、伯努利数以及源自超几何函数展开和积分表示中平方根项的系数。

3. 新的数学恒等式：

   • 分析过程必然且证明了若干涉及贝尔多项式、伯努利数和 Digamma 函数的恒等式。
   • 具体而言，作者确立了某些多项式 $p_{j,S_2(s)}(1-j)$ 与 $s$ 无关且对于奇数 $j$ 为零。
   • 他们推导了一系列涉及伯努利多项式乘积线性组合的恒等式（例如，$B_1(s)^2/2 - B_2(s)/2 = 1/24$）。

4. 开放问题：

   • 本文针对怀疑的极点位置处留数多项式的非零性提出了特定的猜想。证明这些猜想将确认精确的极点结构（即不存在消除极点的“偶然”抵消现象）。
   • 作者指出，虽然亚纯延拓是预期的，但并非对于所有谱级数都得到保证（引用了出现对数分歧点的例子），这使得他们的正面结果具有重要意义。

意义
本文为 Maz'ya 的问题提供了严谨的肯定回答，证明了这些非局部抛物方程的基本解（尽管最初以收敛范围有限的级数形式表示）具有丰富的解析结构（亚纯或整）。

结果表明，这些解在对角线上“令人联想到”平移后的黎曼 Zeta 函数，而在非对角线上则类似于多重对数函数或狄利克雷 Eta 函数。这项工作架起了对数拉普拉斯谱理论与经典特殊函数之间的桥梁。此外，关于贝尔数和伯努利数组合恒等式的推导，也为组合数论做出了贡献，且独立于其主要的 PDE 应用。作者谦虚地建议，其方法可能适用于这些算子的高维类比，尽管这是未来的研究方向。