[论文解读] The derivative of the fractional discrete Laplacian is an exotic Riesz potential

Bo Li (112195), Qingze Lin+1 more|arXiv (Cornell University)|Mar 1, 2026

Nonlinear Partial Differential Equations被引用 0

一句话总结

论文表明在 Z^N 上的分数离散拉普拉斯算子的右导数（以及左导数）在 s=0 处给出一种特殊的离散黎塞斯势：在一维时为零阶离散黎塞斯势，在高维中包含一个与维度相关的修正项，将对数拉普拉斯算子扩展到离散情形。

ABSTRACT

Let $Δ_{N}$ be the multidimensional discrete Laplacian on $\mathbb{Z}^N$ ($N\ge1$). In this note, we prove that, when $N=1$, the right hand derivative of $(-Δ_1)^s$ at $0$ is an exotic discrete Riesz potential (namely, the endpoint case: the order is 0) in Stein-Wainger sense (J. Anal. Math. 2000), and when $N\ge 2$, the corresponding derivative is also an exotic discrete Riesz potential with an additional corrector. A similar conclusion for the left hand derivative case is also considered. All results obtained in this note extend the logarithmic Laplacian of Chen-Weth (Comm. PDEs. 2019) to the discrete setting.

研究动机与目标

• 在离散情景下动机研究离散拉普拉斯算子的分数幂及其在 s→0+ 时的极限行为。
• 将对数拉普拉斯算子的概念扩展到离散空间，并理解其算子形式与映射性质。
• 刻划 Z^N 上 (-Δ_N)^s 在零点的导数（包括右导数与左导数），并识别得到的离散黎塞斯势。
• 给出一维的显式结果并为高维建立包含 rho_N 的修正项的框架。
• 显示与已知的连续结果的一致性，并讨论对称取反分数幂 (-Δ_N)^s 的推广，-N/2 < s < 0。

提出的方法

• 定义多维离散拉普拉斯算子 Δ_N 及其热半群 e^{tΔ_N}，热核记作 G_{t,N}(m)。
• 通过热半群表示 (-Δ_N)^s: (-Δ_N)^s f(n)= (1/Γ(-s)) ∫_0^∞ (e^{tΔ_N}f(n)−f(n)) t^{−s−1} dt，0<s<1。
• 通过分析定义 (-Δ_N)^s 的离散核 K_s(m) 的 s→0+ 演化极限来获得零点导数，并引入核 K(m)= lim_{s→0} K_s(m)/s。
• 在一维中，显式计算 log(−Δ_h) f_h(n) 为 −∑_{m≠n} f_h(m)/|n−m| − (log h^2) f_h(n)。
• 在高维中，将 log(−Δ_N) f(n) 表示为 −∑_{m≠n} K(n−m) f(m) + ρ_N f(n)，其中 K(m) 是 N 维离散黎塞斯型核，ρ_N 由伽马函数与热核的常数给出。
• 证明 log(−Δ_h) ∈ ℓ^∞，且 (−Δ_h)^s−I)/s → log(−Δ_h) 在 L^∞ 中 as s→0+。
• 就傅里叶符号视角和离散环境中黎塞斯势的离散特殊性质给出讨论。

实验结果

研究问题

• RQ1 离散分数拉普拉斯算子在 s=0 处的右/左导数在 Z^N 上是怎样的？
• RQ2 该导数是否对应于离散情形中的特殊离散黎塞斯势，维度性如何影响其形式？
• RQ3 是否可以将连续的对数拉普拉斯结果推广到离散格点，且在高维中修正项的作用是什么？
• RQ4 离散对数拉普拉斯算子 log(−Δ_N) 在有限支撑函数上的作用性质（如 ℓ^∞ 边界）是怎样的？
• RQ5 离散理论如何与逆向分数幂 (-Δ_N)^s、-N/2<s<0 的关系相关？

主要发现

• 对于 N=1，(−Δ_h)^s 在 s=0 处的右导数为 log(−Δ_h) f_h(n)=−∑_{m∈ℤ,m≠n} f_h(m)/|n−m| − (log h^2) f_h(n)。
• log(−Δ_h) f_h ∈ ℓ^∞(ℤ)，并且 [(−Δ_h)^s f_h − f_h]/s 在 L^∞ 意义下（以及逐点）收敛到 log(−Δ_h) f_h。
• 对于 N≥2，s=0 处的导数为 log(−Δ_N) f(n)=−∑_{m∈ℤ^N,m≠n} K(n−m) f(m) + ρ_N f(n)，其中 K 为离散黎塞斯核，ρ_N 为与维度相关的修正项。
• ρ_N 通过伽马函数/热核构造以及热核的极限表达明确给出，形式为 ρ_N = ∑_{m≠0} ∫_0^1 G_{t,N}(m) dt/t − ∫_1^∞ G_{t,N}(0) dt/t − γ。
• 结果将对数拉普拉斯算子（Chen–Weth）推广到离散格点情形，适用于零点的右导数和左导数。