On the spectrum of the hierarchical Laplacian

TL;DR

This paper investigates the spectral properties of hierarchical Laplacians on ultrametric spaces, showing how the spectrum can be tailored to any closed subset of non-negative reals under certain conditions.

Contribution

It demonstrates that the spectrum of hierarchical Laplacians can be arbitrarily prescribed on non-compact ultrametric spaces, extending understanding of their spectral structure.

Findings

Spectrum can be any closed subset of [0,∞) containing 0 for non-compact spaces.

The spectrum is an increasing sequence of eigenvalues with finite multiplicity in compact cases.

The operator extends as a Markov generator on L^q spaces, independent of q.

Abstract

Let $(X,d)$ be a locally compact separable ultrametric space. We assume that $(X,d)$ is proper, that is, any closed ball $B$ in $X$ is a compact set. Given a measure $m$ on $X$ and a function $C(B)$ defined on the set of balls (the choice function), we define the hierarchical Laplacian $L_C$ which is closely related to the concept of the hierarchical lattice of F.J. Dyson. $L_C$ is a non-negative definite, self-adjoint operator in $L^2(X,m)$. We address in this paper to the following question: How general can be the spectrum $\mathsf{Spec}(L_C)$ as a subset of the non-negative reals? When $(X,d)$ is compact, $\mathsf{Spec}(L_C)$ is an increasing sequence of eigenvalues of finite multiplicity which contains $0$. Assuming that $(X,d)$ is not compact we show that, under some natural conditions concerning the structure of the hierarchical lattice (= the tree of $d$-balls), any given closed subset $S$ of $[0,\infty)$, which contains $0$ as an accumulation point and is unbounded if $X$ is non-discrete, may appear as $\mathsf{Spec}(L_C)$ for some appropriately chosen function $C(B)$. The operator $-L_C$ extends to $L^q(X,m)$, $0 < q < \infty$, as Markov generator and its spectrum does not depend on $q$. As an example, we consider the operator $\mathfrak{D}^{\alpha}$ of fractional derivative defined on the field $\mathbb{Q}_p$ of $p$-adic numbers.