Small deviations and Chung's law of iterated logarithm for a hypoelliptic Brownian motion on the Heisenberg group

Abstract

A small ball problem and Chung's law of iterated logarithm for a hypoelliptic Brownian motion in Heisenberg group are proven. In addition, bounds on the limit in Chung's law are established.