๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Central Gaussian Semigroups of Measures with Continuous Density

โœ Scribed by A. Bendikov; L. Saloff-Coste


Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
424 KB
Volume
186
Category
Article
ISSN
0022-1236

No coin nor oath required. For personal study only.

โœฆ Synopsis


This paper investigates the existence and properties of symmetric central Gaussian semigroups (m t ) t > 0 which are absolutely continuous and have a continuous density x W m t (x), t > 0, with respect to Haar measure on groups of the form R n ร— K where K is compact connected locally connected and has a countable basis for its topology. We prove that there always exists a wealth of such Gaussian semigroups on any such group. For instance, if k is any positive function increasing to infinity, there exists a symmetric central Gaussian semigroup having a continuous density such that log m t (e) [ log(1+1/t) k(1/t) as t tends to zero. Among other results of this type we give a necessary and sufficient condition on the structure of K for the existence of symmetric central Gaussian semigroups having a continuous density and such that t l log m t (e) is bounded above and below by positive constants for t ยฅ (0, 1) and some fixed l > 0. This condition is independent of l. These results are proved by splitting any Gaussian semigroup (in a canonical way) into a semisimple part living on the commutator group GOE and an Abelian part living on A=G/GOE. For symmetric central Gaussian semigroups, we show that many properties hold for (m t ) t > 0 if and only if they hold for both the semisimple and the Abelian parts. This splitting principle is one of the main new tools developed in this paper. It leads to a much better understanding of central Gaussian semigroups and related objects and lets us answer a number of open questions. For instance, to any Gaussian convolution semigroup are associated a harmonic sheaf H and a quasi-distance d on G. For symmetric central Gaussian semigroups on G=R n ร— K, we show that H is a Brelot sheaf if and only if lim t Q 0 t log m t (e)=0. A sufficient (but not necessary) condition is that the distance d is continuous. Together with a celebrated result of Bony, our results show that the compact group K is a Lie group if and only if any bi-invariant elliptic Bauer harmonic sheaf on G is a Brelot sheaf.


๐Ÿ“œ SIMILAR VOLUMES