Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by LostStatistician18
Bounty Started worth 50 reputation by LostStatistician18
removed capitals from title
Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Continuity of the Random Variable Definingrandom variable defining the Occupation Measureoccupation measure of a Continuouscontinuous Gaussian Processprocess

Source Link

Continuity of the Random Variable Defining the Occupation Measure of a Continuous Gaussian Process

Suppose $Z:\Omega \times [0,1] \to \mathbb{R}$ is a continuous Gaussian process with mean $\mu(t)$ and covariance kernel $C(t,s)$. Consider the random variable

$$ X_\alpha = \lambda( \{t \; : \; Z(t) > \alpha \}) $$

where $\lambda$ is Lebesgue measure. $X_\alpha$ is a random variable taking values in $[0,1]$. Another thing to note is that for many Gaussian processes the distribution of $X_\alpha$ will have mass at 0 and 1. My question is: under what conditions on $C$ is $$ P( X_\alpha = x ) = 0, \mbox{ for all } x \in (0,1)? $$ Clearly this holds for many well known Gaussian processes, e.g. Brownian motion, and does not hold for many others (for example, suppose $Z(t) = N\sin(2\pi t)$, where $N\sim \mathcal{N}(0,1)$). I hoped there would be some result in the literature giving guidance on this, but I cannot find anything. This is a crosspost from the Math Stack Exchange, but after several months and bounties no-one there was able to provide any insight.