Let $\{ X\_n(\omega,x)\}\_{n \ge 0}$ be a Markov chain with and underlying probability space $(\Omega,\Sigma,\mathbb{P})$ and state space $X= \mathbb{S}^1$. Suppose this markov chain admits unique ergodic measure which is full supported.


I would like to estimate $\mu(C)$, where $C \subset \mathbb{S}^1$, is a particular subset with positive measure.
I would like to know if in any way $\mu(C)$ is related to the following quantity:
$$\sup\_{x \in \mathbb{S}^1}\mathbb{E}\_x[\tau^C(\omega,x)] $$
where
$$\tau^C(\omega,x):= \min\{ n \ge 1 \colon X\_n(\omega,x) \in C\} $$
is defined for $x \in C$. Here $ X\_n(\omega,x)$ is the position of the markov chain at time $n$ with initial condition $x$ and randomness $\omega$.
In particular, I would like to know if some inequality of the sort
$$\mu(C) \ge\sup\_{x \in \mathbb{S}^1} \frac{1}{\mathbb{E}\_x[\tau^C(\omega,x)]} $$
holds or not.


The reason for this question is because it is well known that for a Markov Chain in a discrete state space it is possible to recover the invariant measure via the positive recurrent states. I was wandering if something like this was possible too in this case.
Thanks in advance.



Connection between invariant measure and positive recurrence for continuum state space markov chain
Yes, let's assume that sup (which I think should be in the denominator in the last expression) is finite, as otherwise it is always true. Suppose it is bounded by A, the each return time is also quite finite, as by chebyshev inequality $P(T > 2A) < \frac 1 2$, and using the markov property this makes each return time subgeometric, compared with the same geometric distribution. Now using the ergodic theorem calculate $\mu(C)$ by counting the number of time the process is in C. Let $a > \mu(C)$. If $T\_1, T\_1 + T\_2, $ etc are those times, then $ {\sum^n 1\_C(X\_i)} < na = P(T\_1 + ... + T\_{na} > n) $ and so both are about 1. Therefore you expect that $n < E(T\_1 + ... + T\_{na}) < na \sup(E(T) $ and therefore $a > \frac 1 {\sup(E(T)}$. I had started out arguing that they returns times were subgeometric, which I though I was going to use, but seem not to have, but I'm going to leave it there in case it occurs to me why I wanted it.


