The equivalence of solutions to fractional and logarithmic Helmholtz equations

Abstract

We show the following equivalence of solutions to general fractional Helmholtz equations: $u$ is a solution to $$A^{s}u={\lambda }^{s}u$$ for \textit{some} fixed $0<s<2$ and some $\lambda >0$ if and only if $u$ is a solution to the same equation for \textit{all} $s\ne 0$. Furthermore, we show as well that $u$ equivalently solves the logarithmic Helmholtz equation $$\log (A)u=(\log \lambda )u.$$ Here, $A$ is a nonnegative, linear operator on a Banach space $X$. In particular, our results hold whenever $A=-L$, where $L$ is the infinitesimal generator of a $C_0$-semigroup in a Banach space $X$ satisfying mild assumptions that are typical in applications. As a particular case, we recover known results for the fractional Laplacian $(-\Delta {)}^s$ in ${\mathbb{R}}^n$. More importantly, we provide a list of examples of other fractional power operators in settings where the Fourier transform is not available and for which our theorems apply. These include fractional powers and logarithms of second order elliptic operators in bounded domains, Laplace--Beltrami operators on Riemannian manifolds, space-time master equations, the discrete Laplacian, and fractional derivatives.

arXiv comment18 pages