English

The Logarithmic Laplacian on General Graphs

Analysis of PDEs 2025-07-29 v2 Probability

Abstract

We establish, for the first time, a Bochner-type integral representation for the logarithmic Laplacian on weighted graphs. Assuming stochastic completeness of the underlying graph, we further derive an explicit pointwise formula for this operator: log(Δ)u(x)=1μ(x)yxWlog(x,y)(u(x)u(y))1μ(x)yW(x,y)u(y)+Γ(1)u(x). \log(-\Delta)\:u(x) =\frac{1}{\mu(x)}\sum_{y\neq x}W_{\log}(x,y)\,(u(x)-u(y)) -\frac{1}{\mu(x)}\sum_{y}W(x,y)\,u(y) +\Gamma'(1)\,u(x). In the case of weighted lattice graphs with uniformly positive vertex measures, we obtain sharp two-sided bounds for the associated logarithmic kernel. Additionally, we prove that the logarithmic Laplacian is unbounded on 2\ell^{2}, and we present an alternative derivation of its pointwise form. Moreover, for every 1<p1 < p \leq \infty and all uCc(Zd)u \in C_c(\mathbb{Z}^{d}), we establish a strong convergence in p\ell^{p}: (Δ)suuslog(Δ)uas s0+.\frac{(-\Delta)^{s} u - u}{s} \longrightarrow \log(-\Delta) \:u \quad \text{as } s \to 0^{+}.Finally, on the standard lattice Zd\mathbb{Z}^{d}, we compute the Fourier multipliers corresponding to both the fractional Laplacian and the logarithmic Laplacian, and derive exact large-time behavior and off-diagonal asymptotics of the associated diffusion kernels, including all sharp asymptotic constants.

Keywords

Cite

@article{arxiv.2507.05936,
  title  = {The Logarithmic Laplacian on General Graphs},
  author = {Rui Chen and Wendi Xu},
  journal= {arXiv preprint arXiv:2507.05936},
  year   = {2025}
}
R2 v1 2026-07-01T03:51:18.281Z