No Arabic 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 $lambda 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 $lambda$-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 $sigma$-additive measures: for this extension, a summability condition over disjoint boundary arcs is required. Whenever $lambda$ 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 $lambda$, one can use the ordinary edge weights corresponding to the Green function and obtain the ordinary $lambda$-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 $lambda$-Martin kernel, there may be further choices for the edge weights which give rise to another $lambda$-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
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 $lambda in mathbb{C}$. This is possible whenever $lambda$ 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 $lambda$. We show that when $P$ is invariant under a transitive (not necessarily fixed-point-free) group action, the latter condition holds for all $lambda e 0$ in the resolvent set. These results extend and complete previous results by Cartier, by Fig`a-Talamanca and Steger, and by Woess. For those eigenvalues, we also provide an integral representation of $lambda$-polyharmonic functions of any order $n$, that is, functions $f: T to mathbb{C}$ for which $(lambda 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 $lambda =1$. Finally, we explain the (much simpler) analogous results for forward only transition operators, sometimes also called martingales on trees.
We study boundary values of harmonic functions in spaces of quasianalytic functionals and spaces of ultradistributions of non-quasianalytic type. As an application, we provide a new approach to Hormanders support theorem for quasianalytic functionals. Our main technical tool is a description of ultradifferentiable functions by almost harmonic functions, a concept that we introduce in this article. We work in the setting of ultradifferentiable classes defined via weight matrices. In particular, our results simultaneously apply to the two standard classes defined via weight sequences and via weight functions.
We study extensions of Sobolev and BV functions on infinite-dimensional domains. Along with some positive results we present a negative solution of the long-standing problem of existence of Sobolev extensions of functions in Gaussian Sobolev spaces from a convex domain to the whole space.
We characterize the trace of magnetic Sobolev spaces defined in a half-space or in a smooth bounded domain in which the magnetic field $A$ is differentiable and its exterior derivative corresponding to the magnetic field $dA$ is bounded. In particular, we prove that, for $d ge 1$ and $p>1$, the trace of the magnetic Sobolev space $W^{1, p}_A(mathbb{R}^{d+1}_+)$ is exactly $W^{1-1/p, p}_{A^{shortparallel}}(mathbb{R}^d)$ where $A^{shortparallel}(x) =( A_1, dotsc, A_d)(x, 0)$ for $x in mathbb{R}^d$ with the convention $A = (A_1, dotsc, A_{d+1})$ when $A in C^1(overline{mathbb{R}^{d+1}_+}, mathbb{R}^{d+1})$. We also characterize fractional magnetic Sobolev spaces as interpolation spaces and give extension theorems from a half-space to the entire space.
We obtain sequence space representations for a class of Frechet spaces of entire functions with rapid decay on horizontal strips. In particular, we show that the projective Gelfand-Shilov spaces $Sigma^1_ u$ and $Sigma^ u_1$ are isomorphic to $Lambda_{infty}(n^{1/( u+1)})$ for $ u > 0$.