-
Polyharmonic potential theory on the Poincaré disk
Authors:
Massimo A. Picardello,
Maura Salvatori,
Wolfgang Woess
Abstract:
We consider the open unit disk $\mathbb{D}$ equipped with the hyperbolic metric and the associated hyperbolic Laplacian $\mathfrak{L}$. For $λ\in \mathbb{C}$ and $n \in \mathbb{N}$, a $λ$-polyharmonic function of order $n$ is a function $f: \mathbb{D} \to \mathbb{C}$ such that $(\mathfrak{L}- λ\, I)^n f = 0$. If $n =1$, one gets $λ$-harmonic functions. Based on a Theorem of Helgason on the latter…
▽ More
We consider the open unit disk $\mathbb{D}$ equipped with the hyperbolic metric and the associated hyperbolic Laplacian $\mathfrak{L}$. For $λ\in \mathbb{C}$ and $n \in \mathbb{N}$, a $λ$-polyharmonic function of order $n$ is a function $f: \mathbb{D} \to \mathbb{C}$ such that $(\mathfrak{L}- λ\, I)^n f = 0$. If $n =1$, one gets $λ$-harmonic functions. Based on a Theorem of Helgason on the latter functions, we prove a boundary integral representation theorem for $λ$-polyharmonic functions. For this purpose, we first determine $n^{\text{th}}$-order $λ$-Poisson kernels. Subsequently, we introduce the $λ$-polyspherical functions and determine their asymptotics at the boundary $\partial \mathbb{D}$, i.e., the unit circle. In particular, this proves that, for eigenvalues not in the interior of the $L^2$-spectrum, the zeroes of these functions do not accumulate at the boundary circle. Hence the polyspherical functions can be used to normalise the $n^{\text{th}}$-order Poisson kernels. By this tool, we extend to this setting several classical results of potential theory: namely, we study the boundary behaviour of $λ$-polyharmonic functions, starting with Dirichlet and Riquier type problems and then proceeding to Fatou type admissible boundary limits.
△ Less
Submitted 10 December, 2023;
originally announced December 2023.
-
Positive definite functions on semi-homogeneous trees and spherical representations
Authors:
Massimo A. Picardello
Abstract:
We consider the group $\mathrm{Aut}(T)$ of isometries of a semi-homogeneous tree $T=T_{q_+,q_-}$ with valencies $q_+ +1$ and $q_- +1$ and its two orbits $V_+$, $V_-$ respectively. We make use of the action of $\mathrm{Aut} (T)$ to equip the spaces of finitely supported radial functions on each of $V_\pm$ with convolution products, hence with a notion of positive definite functions. The $\ell^1$-fu…
▽ More
We consider the group $\mathrm{Aut}(T)$ of isometries of a semi-homogeneous tree $T=T_{q_+,q_-}$ with valencies $q_+ +1$ and $q_- +1$ and its two orbits $V_+$, $V_-$ respectively. We make use of the action of $\mathrm{Aut} (T)$ to equip the spaces of finitely supported radial functions on each of $V_\pm$ with convolution products, hence with a notion of positive definite functions. The $\ell^1$-functions radial around a root vertex $v_0\in V_+$ form an abelian convolution algebra. We study its multiplicative functionals, called spherical functions, given by eigenfunctions of the nearest-neighbor isotropic transition operator (the Laplace operator on $T$, and determine which of them are positive definite. Each positive definite function gives rise to a unitary representation of $\mathrm{Aut}(T)$; in this way, we produce a series of unitary spherical representations. For $q_+<q_-$, the representation whose spherical function has eigenvalue 0 is square-integrable.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
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.
-
Universal properties of the isotropic Laplace operator on homogeneous trees
Authors:
Joel M. Cohen,
Mauro Pagliacci,
Massimo A Picardello
Abstract:
Let $P$ be the isotropic nearest neighbor transition operator on a homogeneous tree. We consider the $λ$-eigenfunctions of $P$ for $λ$ outside its $\ell^2$ spectrum, i.e., the eigenfunctions with eigenvalue $γ=λ- 1$ of the Laplace operator $Delta=P- \mathbb I$, and also the $λ-$polyharmonic functions, that is, the union of the kernels of $(Delta-γ\mathbb I)^n$ for $n\geqslant 0$. We prove that, on…
▽ More
Let $P$ be the isotropic nearest neighbor transition operator on a homogeneous tree. We consider the $λ$-eigenfunctions of $P$ for $λ$ outside its $\ell^2$ spectrum, i.e., the eigenfunctions with eigenvalue $γ=λ- 1$ of the Laplace operator $Delta=P- \mathbb I$, and also the $λ-$polyharmonic functions, that is, the union of the kernels of $(Delta-γ\mathbb I)^n$ for $n\geqslant 0$. We prove that, on a suitable Banach space generated by the $λ-$polyharmonic functions, the operator $e^{Delta-γ\mathbb I}$ is hypercyclic, although $Delta-γ\mathbb I$ is not.
△ Less
Submitted 24 March, 2022; v1 submitted 15 February, 2022;
originally announced February 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.
-
Multiple boundary representations of $λ$-harmonic functions on trees
Authors:
Massimo A. Picardello,
Wolfgang Woess
Abstract:
We consider a countable tree $T$, possibly having vertices with infinite degree, and an arbitrary stochastic nearest neighbour transition operator $P$. We provide a boundary integral representation for general eigenfunctions of $P$ with eigenvalue $λ\in \mathbb{C}$, under the condition that the oriented edges can be equipped with complex-valued weights satisfying three natural axioms. These axioms…
▽ More
We consider a countable tree $T$, possibly having vertices with infinite degree, and an arbitrary stochastic nearest neighbour transition operator $P$. We provide a boundary integral representation for general eigenfunctions of $P$ with eigenvalue $λ\in \mathbb{C}$, under the condition that the oriented edges can be equipped with complex-valued weights satisfying three natural axioms. These axioms guarantee that one can construct a $λ$-Poisson kernel. The boundary integral is with respect to distributions, that is, elements in the dual of the space of locally constant functions. Distributions are interpreted as finitely additive complex measures. In general, they do not extend to $σ$-additive measures: for this extension, a summability condition over disjoint boundary arcs is required. Whenever $λ$ is in the resolvent of $P$ as a self-adjoint operator on a naturally associated $\ell^2$-space and the diagonal elements of the resolvent (`Green function') do not vanish at $λ$, one can use the ordinary edge weights corresponding to the Green function and obtain the ordinary $λ$-Martin kernel.
We then consider the case when $P$ is invariant under a transitive group action. In this situation, we study the phenomenon that in addition to the $λ$-Martin kernel, there may be further choices for the edge weights which give rise to another $λ$-Poisson kernel with associated integral representations. In particular, we compare the resulting distributions on the boundary.
The material presented here is closely related to the contents of our `companion' paper arXiv:1802.01976
△ Less
Submitted 24 January, 2019; v1 submitted 17 February, 2018;
originally announced February 2018.
-
Boundary representations of $λ$-harmonic and polyharmonic functions on trees
Authors:
Massimo A. Picardello,
Wolfgang Woess
Abstract:
On a countable tree $T$, allowing vertices with infinite degree, we consider an arbitrary stochastic irreducible nearest neighbour transition operator $P$. We provide a boundary integral representation for general eigenfunctions of $P$ with eigenvalue $λ\in \mathbb{C}$. This is possible whenever $λ$ is in the resolvent set of $P$ as a self-adjoint operator on a suitable $\ell^2$-space and the on-d…
▽ More
On a countable tree $T$, allowing vertices with infinite degree, we consider an arbitrary stochastic irreducible nearest neighbour transition operator $P$. We provide a boundary integral representation for general eigenfunctions of $P$ with eigenvalue $λ\in \mathbb{C}$. This is possible whenever $λ$ is in the resolvent set of $P$ as a self-adjoint operator on a suitable $\ell^2$-space and the on-diagonal elements of the resolvent ("Green function") do not vanish at $λ$. We show that when $P$ is invariant under a transitive (not necessarily fixed-point-free) group action, the latter condition holds for all $λ\ne 0$ in the resolvent set. These results extend and complete previous results by Cartier, by Figà-Talamanca and Steger, and by Woess. For those eigenvalues, we also provide an integral representation of $λ$-polyharmonic functions of any order $n$, that is, functions $f: T \to \mathbb{C}$ for which $(λ\cdot I - P)^n f=0$. This is a far-reaching extension of work of Cohen et al., who provided such a representation for simple random walk on a homogeneous tree and eigenvalue $λ=1$. Finally, we explain the (much simpler) analogous results for "forward only" transition operators, sometimes also called martingales on trees.
△ Less
Submitted 6 February, 2018;
originally announced February 2018.