Spherical functions and spectrum of the Laplacian on semi-homogeneous trees
Authors:
Enrico Casadio Tarabusi,
Massimo A. Picardello
Abstract:
On a semi-homogeneous tree, we study the $\ell^p$-spectrum of the Laplace operator $μ_1$ (the isotropic nearest-neighbor transition operator); the known results in the much simpler setting of homogeneous trees are obtained as particular cases. The spectrum is given by the eigenvalues of spherical functions, i.e., eigenfunctions of $mu_1$ that are radial with respect to a reference vertex $v_0$ and…
▽ More
On a semi-homogeneous tree, we study the $\ell^p$-spectrum of the Laplace operator $μ_1$ (the isotropic nearest-neighbor transition operator); the known results in the much simpler setting of homogeneous trees are obtained as particular cases. The spectrum is given by the eigenvalues of spherical functions, i.e., eigenfunctions of $mu_1$ that are radial with respect to a reference vertex $v_0$ and normalized there. We show that spherical functions are boundary integrals of generalized Poisson kernels that, unlike the homogeneous setting, are not complex powers of the usual Poisson kernel. We compute these generalized Poisson kernels via Markov chains and their generating functions, whence we work out explicit expressions for spherical functions. On semi-homogeneous trees, spherical functions turn out to have an $\ell^p$ behavior that does not occur on homogeneous trees: one of them, for an appropriate choice of $v_0$, belongs to $\ell^p$ for some $p<2$.
Up to normalization, the operator $μ_1^2$ differs from the step-2 Laplacian $μ_2$ only by a shift. On the other hand, the recurrence relation associated to the semi-homogeneous $μ_2$ is that of a polygonal graph, akin to that of the Laplacian in a homogeneous tree. By this token, we compute the spectra of $μ_1^2$ on a semi-homogeneous tree, hence, by extracting square roots, the $\ell^p$-spectrum of $μ_1$ for $1\leqslant p <\infty$, and show that it is disconnected for $p$ in an interval containing 2 but it is connected at all other values of $p$.
△ Less
Submitted 22 December, 2022; v1 submitted 1 August, 2022;
originally announced August 2022.
Radon transforms on homogeneous trees
Authors:
Enrico Casadio Tarabusi,
Simon G. Gindikin,
Massimo A. Picardello
Abstract:
We study the different horospherical Radon transforms that arise by regarding a homogeneous tree T as a simplicial complex whose simplices are vertices V, edges E or flags F (flags are oriented edges). The ends (infinite geodesic rays starting at a reference vertex) provide a boundary $Ω$ for the tree. Then the horospheres form a trivial principal fiber bundle with base $Ω$ and fiber $\mathZ$. The…
▽ More
We study the different horospherical Radon transforms that arise by regarding a homogeneous tree T as a simplicial complex whose simplices are vertices V, edges E or flags F (flags are oriented edges). The ends (infinite geodesic rays starting at a reference vertex) provide a boundary $Ω$ for the tree. Then the horospheres form a trivial principal fiber bundle with base $Ω$ and fiber $\mathZ$. There are three such fiber bundles, consisting of horospheres of vertices, edges or flags, but they are isomorphic: however, no isomorphism between these fiber bundles maps special sections to special sections (a special section consists of the set of horospheres through a given vertex, edge or flag). The groups of automorphisms of the fiber bundles contain a subgroup $A$ of parallel shifts, analogous to the Cartan subgroup of a semisimple group. The normalized eigenfunctions of the Laplace operator on T are boundary integrals of complex powers of the Poisson kernel, that is characters of $A$, and are matrix coefficients of representations induced from $A$ in the sense of Mackey, the so-called spherical representations.
The vertex-horospherical Radon transform consists of summation over V in each vertex-horosphere, and similarly for edges or flags. We prove inversion formulas for all these Radon transforms, and give applications to harmonic analysis and the Plancherel measure on T. We show via integral geometry that the spherical representations for vertices and edges are equivalent. Also, we define the Radon back-projections and find the inversion operator of each Radon transform by composing it with its back-projection. This gives rise to a convolution operator on T, whose symbol is obtained via the spherical Fourier transform, and its reciprocal is the symbol of the Radon inversion formula.
△ Less
Submitted 26 February, 2020; v1 submitted 20 February, 2020;
originally announced February 2020.