Dirichlet random walks
This article provides tools for the study of the Dirichlet random walk in Rd. By this we mean the random variable W=X1Θ1+⋯+XnΘn where X=(X1,…,Xn)∼D(q1,…,qn) is Dirichlet distributed and where Θ1,…Θn are iid, uniformly distributed on the unit sphere of Rd and independent of X. In particular we compute explicitely in a number of cases the distribution of W. Some of our results appear already in the literature, in particular in the papers by Gérard Le Caër (2010, 2011). In these cases, our proofs are much simpler from the original ones, since we use a kind of Stieltjes transform of W instead of the Laplace transform: as a consequence the hypergeometric functions replace the Bessel functions. A crucial ingredient is a particular case of the classical and non trivial identity, true for 0≤u≤1/2:2F1(2a,2b;a+b+21;u)=_2F1(a,b;a+b+21;4u−4u2). We extend these results to a study of the limits of the Dirichlet random walks when the number of added terms goes to infinity, interpreting the results in terms of an integral by a Dirichlet process. We introduce the ideas of Dirichlet semigroups and of Dirichlet infinite divisibility and characterize these infinite divisible distributions in the sense of Dirichlet when they are concentrated on the unit ball of Rd. {4mm}\noindent \textsc{Keywords:} Dirichlet processes, Stieltjes transforms, random flight, distributions in a ball, hyperuniformity, infinite divisibility in the sense of Dirichlet. {4mm}\noindent \textsc{AMS classification}: 60D99, 60F99.