Random walks in Euclidean space (Q482912)

Let \(X_1, X_2,\dots\) be independent identically distributed random isometries of the Euclidean space \(R^d\). Let \(x_0\in R^d\) be any point, and consider the sequence of points \[ Y=x_0, \dots, Y_e(X_{l-1}(\dots (x_0))), \dots. \] The author's main objective is to obtain a local limit theorem in the following sense. Under some conditions on \(Y_0\) and \(X\) there are \(v_0\in \mathbb{R}^d\) and \(c>0\) depending only on the distribution of \(X_j\) such that \[ \lim_{l\to0}l^{d/2}E[f(Y_0-lv_0)]=c\int f(r)\,dx, \] where \(f\) is any continuous and compactly supported function.