The Dirichlet problem for the logarithmic Laplacian

In this article, we study the logarithmic Laplacian operator LΔ, which is a singular integral operator with symbol 2 log |ζ|. We show that this operator has the integral representation LΔu(x)=cN∫RNu(x)1B1(x)(y)−u(y)|x−y|Ndy+ρNu(x) with cN=π−N2Γ(N2) and ρN=2 log 2+ψ(N2)−γ, where Γ is the Gamma function, ψ=Γ′Γ is the Digamma function and γ=−Γ′(1) is the Euler Mascheroni constant. This operator arises as formal derivative ∂s|s=0(−Δ)s of fractional Laplacians at s=0. We develop the functional analytic framework for Dirichlet problems involving the logarithmic Laplacian on bounded domains and use it to characterize the asymptotics of principal Dirichlet eigenvalues and eigenfunctions of (−Δ)s as s→0. As a byproduct, we then derive a Faber-Krahn type inequality for the principal Dirichlet eigenvalue of LΔ. Using this inequality, we also establish conditions on domains giving rise to the maximum principle in weak and strong forms. This allows us to also derive regularity up to the boundary of solutions to corresponding Poisson problems.