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

技術的要約：対数ラプラシアンに関連する2つの非局所放物型方程式の基本解について

問題提起
本論文は、対数ラプラシアンに関連する特定の非局所放物型方程式の基本解の解析接続に関する、V. Maz'yaによる問いに取り組むものである。本研究は、細い空洞を持つ領域上の通常のラプラス演算子の境界値問題の文脈から生じる、2つの積分作用素 $A_1$ および $A_2$ に焦点を当てている。

1. 作用素 $A_1$: 単位円 $C \subset \mathbb{R}^2$ 上で定義され、共形対数ラプラシアンに関連する。その基本解 $K_1(t, \phi, \theta)$ は、漸近的に $2\ln(n)$ となる固有値 $2\lambda_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}$ を展開する。これにより、部分的な常微分ベル多項式（partial ordinary Bell polynomials）を通じて定義される多項式 $p_{j,S}(t)$ の導入が導かれる。これらの多項式は、指数項の漸近展開の係数を捉える。
• 積分表示: $K_2$ の一般の場合（$x, y \in (-1, 1)$）において、著者らはメリン変換とルジャンドル多項式の母関数（超幾何関数 ${}_2F_1$ を用いて表現される）を利用する。これにより、スペクトル和を積分表示に変換することができ、変数 $s=0$ 付近（$s$ はメリン変換の積分変数）における特異点の解析が可能となる。
• 特異点解析: 超幾何関数から生じる対数項とガンマ関数の前因子の間の相互作用に注目して、積分核の $s=0$ 付近での挙動を解析することで、有理型継続の極の位置と性質を決定する。

主要な貢献および結果

1. $K_1$ の有理型継続:

   • 定理 1.2: 基本解 $K_1(t, \phi, \theta)$ は、$\phi \neq \theta$ のすべての $\phi, \theta$ に対して 整関数 として拡張される。
   • 対角線の場合 $\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. 新しい数学的恒等式:

   • 解析にあたり、ベル多項式、ベルヌーイ数、およびディガンマ関数に関するいくつかの恒等式を必要とし、また証明した。
   • 具体的には、多項式 $p_{j,S_2(s)}(1-j)$ が $s$ に依存せず、奇数 $j$ に対して消滅することを確立している。
   • また、ベルヌーイ多項式の積の線形結合（例：$B_1(s)^2/2 - B_2(s)/2 = 1/24$）を含む一連の恒等式を導出している。

4. 未解決問題:

   • 本論文は、疑われる極の位置における留数多項式の非消滅性に関する具体的な予想を定式化している。これらを証明することは、正確な極の構造（すなわち、極を除去するための「偶然の」打ち消しが発生しないこと）を確定させることになる。
   • 著者らは、有理型継続が期待される一方で、すべてのスペクトル級数に対して保証されているわけではないこと（対数分岐点が生じる例を挙げる）に注意を促しており、彼らの正の結果は重要である。

意義
本論文は、Maz'yaの問いに対し、厳密な肯定的回答を提供している。すなわち、これらの非局所放物型方程式の基本解は、初期の表現では限定的な収束を持つ級数であるにもかかわらず、豊かな解析的構造（有理型または整関数）を備えていることを示している。

結果は、これらの解が（対角線上では）シフトされたリーマン・ゼータ関数に、また（対角線以外では）ポリログやディリクレ・エータ関数に「類似している」ことを明らかにしている。本研究は、対数ラプラシアンのスペクトル理論と古典的な特殊関数との間の架け橋となるものである。さらに、ベル多項式やベルヌーイ数に関する新しい恒等式の導出は、主要な偏微分方程式の応用とは独立して、組合せ数論に寄与するものである。著者らは、これらの手法がこれら作用子の高次元類似体にも適応できる可能性があることを控えめに示唆しているが、これは今後の課題としている。