Abstract:Motivated by Lévy's characterization of Brownian motion on the line, we propose an analogue of Brownian motion that has as its state space an arbitrary closed subset of the line that is unbounded above and below: such a process will be a martingale, will have the identity function as its quadratic variation process, and will be ``continuous'' in the sense that its sample paths don't skip over points. We show that there is a unique such process, which turns out to be automatically a reversible Feller-Dynkin Markov process. We find its generator, which is a natural generalization of the operator $f\mapsto{1/2}f''$. We then consider the special case where the state space is the self-similar set $\{\pm q^k:k\in \mathbb{Z}\}\cup\{0\}$ for some $q>1$. Using the scaling properties of the process, we represent the Laplace transforms of various hitting times as certain continued fractions that appear in Ramanujan's ``lost'' notebook and evaluate these continued fractions in terms of basic hypergeometric functions (that is, $q$-analogues of classical hypergeometric functions). The process has 0 as a regular instantaneous point, and hence its sample paths can be decomposed into a Poisson process of excursions from 0 using the associated continuous local time. Using the reversibility of the process with respect to the natural measure on the state space, we find the entrance laws of the corresponding Itô excursion measure and the Laplace exponent of the inverse local time -- both again in terms of basic hypergeometric functions. By combining these ingredients, we obtain explicit formulae for the resolvent of the process. We also compute the moments of the process in closed form. Some of our results involve $q$-analogues of classical distributions such as the Poisson distribution that have appeared elsewhere in the literature.

A coupling strategy for Brownian motions at fixed time on Carnot groups using Legendre expansion

Non co-adapted couplings of Brownian motions on free, step 2 Carnot groups

Couplings of Brownian motions on $SU(2,\mathbb{C})$ and $SL(2,\mathbb{R})$

Non-Markovian maximal couplings and a vertical reflection principle on a class of sub-Riemannian manifolds

Coupling between Brownian motion and random walks on the infinite percolation cluster

Shy and Fixed-Distance Couplings of Brownian Motions on Manifolds

An explicit formula for free multiplicative Brownian motions via spherical functions

Brownian motion on disconnected sets, basic hypergeometric functions, and some continued fractions of Ramanujan

On a quantum causal stochastic double product integral related to Lévy area

Coupling Bertoin's and Aldous–Pitman's representations of the additive coalescent

Coupling and exponential ergodicity for stochastic differential equations driven by Lévy processes

Régularisation de l'équation de Langevin en dimension 1 par le mouvement Brownien fractionnaire

Pairwise Near-maximal Grand Coupling of Brownian Motions

Limit theorems for general functionals of Brownian local times

On a coupling of solutions to the interface SDE on a star graph

Self-similarity and fractional Brownian motions on Lie groups

Functional Inequalities for Brownian Motion on Riemannian Manifolds with Sticky-Reflecting Boundary Diffusion

Langevin equations and a geometric integration scheme for the overdamped limit of homogeneous rotational Brownian motion

Integral with respect to the $G$-Brownian local time

Weak coupling limit of a Brownian particle in the curl of the 2D GFF

The set of intersections of several independent Brownian motions on Carnot group