No Arabic abstract
We consider harmonic functions of polynomial growth of some order $d$ on Cayley graphs of groups of polynomial volume growth of order $D$ w.r.t. the word metric and prove the optimal estimate for the dimension of the space of such harmonic functions. More precisely, the dimension of this space of harmonic functions is at most of order $d^{D-1}$. As in the already known Riemannian case, this estimate is polynomial in the growth degree. More generally, our techniques also apply to graphs roughly isometric to Cayley graphs of groups of polynomial volume growth.
In the present paper, we develop geometric analytic techniques on Cayley graphs of finitely generated abelian groups to study the polynomial growth harmonic functions. We develop a geometric analytic proof of the classical Heilbronn theorem and the recent Nayar theorem on polynomial growth harmonic functions on lattices $mathds{Z}^n$ that does not use a representation formula for harmonic functions. We also calculate the precise dimension of the space of polynomial growth harmonic functions on finitely generated abelian groups. While the Cayley graph not only depends on the abelian group, but also on the choice of a generating set, we find that this dimension depends only on the group itself.
For an infinite penny graph, we study the finite-dimensional property for the space of harmonic functions, or ancient solutions of the heat equation, of polynomial growth. We prove the asymptotically sharp dimensional estimate for the above spaces.
Suppose $(M,g)$ is a Riemannian manifold having dimension $n$, nonnegative Ricci curvature, maximal volume growth and unique tangent cone at infinity. In this case, the tangent cone at infinity $C(X)$ is an Euclidean cone over the cross-section $X$. Denote by $alpha=lim_{rrightarrowinfty}frac{mathrm{Vol}(B_{r}(p))}{r^{n}}$ the asymptotic volume ratio. Let $h_{k}=h_{k}(M)$ be the dimension of the space of harmonic functions with polynomial growth of growth order at most $k$. In this paper, we prove a upper bound of $h_{k}$ in terms of the counting function of eigenvalues of $X$. As a corollary, we obtain $lim_{krightarrowinfty}k^{1-n}h_{k}=frac{2alpha}{(n-1)!omega_{n}}$. These results are sharp, as they recover the corresponding well-known properties of $h_{k}(mathbb{R}^{n})$. In particular, these results hold on manifolds with nonnegative sectional curvature and maximal volume growth.
We prove that any Cayley graph $G$ with degree $d$ polynomial growth does not satisfy ${f(n)}$-containment for any $f=o(n^{d-2})$. This settles the asymptotic behaviour of the firefighter problem on such graphs as it was known that $Cn^{d-2}$ firefighters are enough, answering and strengthening a conjecture of Develin and Hartke. We also prove that intermediate growth Cayley graphs do not satisfy polynomial containment, and give explicit lower bounds depending on the growth rate of the group. These bounds can be further improved when more geometric information is available, such as for Grigorchuks group.
We generalize both the notion of polynomial functions on Lie groups and the notion of horizontally affine maps on Carnot groups. We fix a subset $S$ of the algebra $mathfrak g$ of left-invariant vector fields on a Lie group $mathbb G$ and we assume that $S$ Lie generates $mathfrak g$. We say that a function $f:mathbb Gto mathbb R$ (or more generally a distribution on $mathbb G$) is $S$-polynomial if for all $Xin S$ there exists $kin mathbb N$ such that the iterated derivative $X^k f$ is zero in the sense of distributions. First, we show that all $S$-polynomial functions (as well as distributions) are represented by analytic functions and, if the exponent $k$ in the previous definition is independent on $Xin S$, they form a finite-dimensional vector space. Second, if $mathbb G$ is connected and nilpotent we show that $S$-polynomial functions are polynomial functions in the sense of Leibman. The same result may not be true for non-nilpotent groups. Finally, we show that in connected nilpotent Lie groups, being polynomial in the sense of Leibman, being a polynomial in exponential chart, and the vanishing of mixed derivatives of some fixed degree along directions of $mathfrak g$ are equivalent notions.