The heat semigroup and Brownian motion on strip complexes

• Published in: Advances in mathematics (New York. 1965) 2011-01, Vol.226 (1), p.992-1055
• Main Authors: Bendikov, Alexander, Saloff-Coste, Laurent, Salvatori, Maura, Woess, Wolfgang
• Format: Article
• Language: English
• Subjects: Brownian motion; Dirichlet form; Essential self-adjointness; Heat semigroup; Laplacian; Strip complex
• ISSN: 0001-8708; 1090-2082
• DOI: 10.1016/j.aim.2010.07.014

We introduce the notion of strip complex. A strip complex is a special type of complex obtained by gluing “strips” along their natural boundaries according to a given graph structure. The most familiar example is the one-dimensional complex classically associated with a graph, in which case the strips are simply copies of the unit interval (our setup actually allows for variable edge length). A leading key example is treebolic space, a geometric object studied in a number of recent articles, which arises as a horocyclic product of a metric tree with the hyperbolic plane. In this case, the graph is a regular tree, the strips are [0,1]×R, and each strip is equipped with the hyperbolic geometry of a specific strip in upper half plane. We consider natural families of Dirichlet forms on a general strip complex and show that the associated heat kernels and harmonic functions have very strong smoothness properties. We study questions such as essential self-adjointness of the underlying differential operator acting on a suitable space of smooth functions satisfying a Kirchhoff type condition at points where the strip complex bifurcates. Compatibility with projections that arise from proper group actions is also considered.