5
$\begingroup$

Definitions:

A measurable subset $S$ of $\mathbb R$ is said to be mesoscopic if there exists a continuous function $f: \mathbb R \to \mathbb R$ such that $f(S)$ is Lebesgue measurable and has nonzero Lebesgue measure.

Question: Is the set of zeroes of a Brownian motion almost surely a mesoscopic set?

Remark: Note that there exist mesoscopic sets of Lebesgue measure zero - for example the Cantor set with $f$ being the Cantor staircase function.

$\endgroup$
2
  • $\begingroup$ I think there is a "not" missing from this definition somewhere. $\endgroup$ – Buzz Jun 20 at 0:15
  • $\begingroup$ Ah corrected, thanks! $\endgroup$ – Nate River Jun 20 at 0:40
9
$\begingroup$

Yes, the local time (at zero) maps the zero set of Brownian motion to an interval. See e.g. Lemma 6.9 page 159 in [1] for continuity.

[1] Brownian motion, by Peter Mörters and Yuval Peres. Cambridge University Press, 2010 https://people.bath.ac.uk/maspm/book.pdf

$\endgroup$
1
  • $\begingroup$ Oh, I was not aware that the local time was continuous. I somehow intuitively had in mind a jump process, but I guess it makes more sense that it would be continuous. $\endgroup$ – Nate River Jun 20 at 2:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.