Images of fractional Brownian motion with deterministic drift: Positive Lebesgue measure and non-empty interior

Abstract

Abstract Let $B^{H}$ be a fractional Brownian motion in $\mathbb{R}^{d}$ of Hurst index $H\in\left(0,1\right)$ , $f\;:\;\left[0,1\right]\longrightarrow\mathbb{R}^{d}$ a Borel function and $A\subset\left[0,1\right]$ a Borel set. We provide sufficient conditions for the image $(B^{H}+f)(A)$ to have a positive Lebesgue measure or to have a non-empty interior. This is done through the study of the properties of the density of the occupation measure of $(B^{H}+f)$ . Precisely, we prove that if the parabolic Hausdorff dimension of the graph of f is greater than Hd, then the density is a square integrable function. If, on the other hand, the Hausdorff dimension of A is greater than Hd, then it even admits a continuous version. This allows us to establish the result already cited.