An extension problem for the logarithmic Laplacian

TL;DR

This paper characterizes the logarithmic Laplacian via a local extension problem, establishing a boundary-value operator representation, and demonstrates its implications for energy functionals and unique continuation principles.

Contribution

It provides the first local extension characterization of the logarithmic Laplacian, linking it to a weighted second-order operator and harmonicity in higher dimensions.

Findings

Established a boundary-value operator representation for the logarithmic Laplacian.

Connected the operator to a weighted second-order extension problem in the upper half-space.

Proved a weak unique continuation principle for the logarithmic Laplace equation.

Abstract

The logarithmic Laplacian on the (whole) N-dimensional Euclidean space is defined as the first variation of the fractional Laplacian of order 2s at s=0 or, alternatively, as a singular Fourier integral operator with logarithmic symbol. While this operator has attracted fastly growing attention in recent years due to its relevance in the study of order-dependent problems, a characterization via a local extension problem on the (N+1)-dimensional upper half-space in the spirit of the Cafferelli-Sivestre extension for the fractional Laplacian has been missing so far. In this paper, we establish such a characterization. More precisely, we show that, up to a multiplicative constant, the logarithmic Laplacian coincides with the boundary-value operator associated with a weighted second-order operator on the upper half-space, which maps inhomogeneous Neumann data to a Robin boundary-value of the corresponding distributional solution with a singular excess term. This extension property of the logarithmic Laplacian leads to a new energy functional associated with this operator. By doubling the extension-variable, we show that distributional solutions of the extension problem are actually harmonic in the (N+2)-dimensional Euclidean space away from the boundary. As an application of these results, we establish a weak unique continuation principle for the (stationary) logarithmic Laplace equation.