In this section, we study the limiting behavior of continuous-time Markov chains by focusing on two interrelated ideas: invariant (or stationary) distributions and limiting distributions. In some ways, the limiting behavior of continuous-time chains is simpler than the limiting behavior of discrete-time chains, in part because the complications caused by periodicity in the discrete-time case do not occur in the continuous-time case. Nonetheless as we will see, the limiting behavior of a continuous-time chain is closely related to the limiting behavior of the embedded, discrete-time jump chain.
Once again, our starting point is a time-homogeneous, continuous-time Markov chain \( \bs{X} = \{X_t: t \in [0, \infty)\} \) defined on an underlying probability space \( (\Omega, \mathscr{F}, \P) \) and with discrete state space \( (S, \mathscr{S}) \). By definition, this means that \( S \) is countable with the discrete topology, so that \( \mathscr{S} \) is the \( \sigma \)-algebra of all subsets of \( S \).
Let's review what we have so far. We assume that the Markov chain \( \bs{X} \) is regular. Among other things, this means that the basic structure of \( \bs{X} \) is determined by the transition times \( \bs{\tau} = (\tau_0, \tau_1, \tau_2, \ldots) \) and the jump chain \( \bs{Y} = (Y_0, Y_1, Y_2, \ldots) \). First, \( \tau_0 = 0 \) and \( \tau_1 = \tau = \inf\{t \gt 0: X_t \ne X_0\} \). The time-homogeneous and Markov properties imply that the distribution of \( \tau \) given \( X_0 = x \) is exponential with parameter \( \lambda(x) \in [0, \infty) \). Part of regularity is that \( \bs{X} \) is right continuous so that there are no instantaneous states where \( \lambda(x) = \infty \), which would mean \( \P(\tau = 0 \mid X_0 = x) = 1 \). On the other hand, \( \lambda(x) \in (0, \infty) \) means that \( x \) is a stable state so that \( \tau \) has a proper exponential distribution given \( X_0 = x \), with \( \P(0 \lt \tau \lt \infty \mid X_0 = x) = 1 \). Finally, \( \lambda(x) = 0 \) means that \( x \) is an absorbing state so that \( \P(\tau = \infty \mid X_0 = x) = 1 \). The remaining transition times are defined recursively: \( \tau_{n+1} = \inf\left\{t \gt \tau_n: X_t \ne X_{\tau_n}\right\} \) if \( \tau_n \lt \infty \) and \( \tau_{n+1} = \infty \) if \( \tau_n = \infty \). Another component of regularity is that with probability 1, \( \tau_n \to \infty \) as \( n \to \infty \), ruling out the explosion event of infinitely many jumps in finite time. The jump chain \( \bs{Y} \) is formed by sampling \( \bs{X} \) at the transition times (until the chain is sucked into an absorbing state, if that happens). That is, with \( M = \sup\{n: \tau_n \lt \infty\} \) and for \( n \in \N \), we define \( Y_n = X_{\tau_n} \) if \( n \le M \) and \( Y_n = X_{\tau_M} \) if \( n \gt M \). Then \( \bs{Y} \) is a discrete-time Markov chain with one-step transition matrix \( Q \) given \( Q(x, y) = \P(X_\tau = y \mid X_0 = x) \) if \( (x, y) \in S^2 \) with \( x \) stable and \( Q(x, x) = 1 \) if \( x \in S \) is absorbing.
The transition matrix \( P_t \) at time \( t \in [0, \infty) \) is given by \( P_t(x, y) = \P(X_t = y \mid X_0 = x) \) for \( (x, y) \in S^2 \). The time-homogenous and Markov properties imply that the collection of transition matrices \( \bs{P} = \{P_t: t \in [0, \infty)\} \) satisfies the Chapman-Kolmogorov equations \( P_s P_t = P_{s+t} \) for \( s, \, t \in [0, \infty) \), and hence is a semigroup. of transition matrices The transition semigroup \( \bs{P} \) and the initial distribution of \( X_0 \) determine all of the finite-dimensional distributions of \( \bs{X} \). Since there are no instantaneous states, \( P \) is standard which means that \( P_t \to I \) as \( t \downarrow 0 \) (as matrices, and so pointwise). The fundamental relationship between \( \bs{P} \) on the one hand, and \( \lambda \) and \( Q \) on the other, is \[ P_t(x, y) = I(x, y) e^{-\lambda(x) t} + \int_0^t \lambda(x) e^{-\lambda(x) s} Q P_{t - s} (x, y) \, ds, \quad (x, y) \in S^2 \] From this, it follows that the matrix function \( t \mapsto P_t \) is differentiable (again, pointwise) and satisfies the Kolmogorov backward equation \( \frac{d}{dt} P_t = G P_t \), where the infinitesimal generator matrix \( G \) is given by \( G(x, y) = -\lambda(x) I(x, y) + \lambda(x) Q(x, y) \) for \( (x, y) \in S^2 \). If we impose the stronger assumption that \( \bs{P} \) is uniform, which means that \( P_t \to I \) as \( t \downarrow 0 \) as operators on \( \mathscr{B} \) (so with respect to the supremum norm), then the backward equation as well as the companion Kolmogorov forward equation \( \frac{d}{dt} P_t = = P_t G \) hold as operators on \( \mathscr{B} \). In addition, we have the matrix exponential representation \( P_t = e^{t G} \) for \( t \in [0, \infty) \). The uniform assumption is equivalent to the exponential parameter function being bounded.
Finally, for \( \alpha \in [0, \infty) \), the \( \alpha \) potential matrix \( U_\alpha \) of \( \bs{X} \) is \( U_\alpha = \int_0^\infty e^{-\alpha t} P_t \, dt \). The resolvent \( \bs{U} = \{U_\alpha: \alpha \in (0, \infty)\} \) is the Laplace transform of \( \bs{P} \) and hence gives the same information as \( \bs{P} \). From this point of view, the time-homogeneous and Markov properties lead to the resolvent equation \( U_\alpha = U_\beta + (\beta - \alpha) U_\alpha U_\beta \) for \( \alpha, \, \beta \in (0, \infty) \) with \( \alpha \le \beta \). For \( \alpha \in (0, \infty) \), the \( \alpha \) potential matrix is related to the generator by the fundamental equation \( \alpha U_\alpha = I + G U_\alpha \). If \( \bs{P} \) is uniform, then this equation, as well as the companion \( \alpha U_\alpha = I + U_\alpha G \) hold as operators on \( \mathscr{B} \), which leads to \( U_\alpha = (\alpha I - G)^{-1} \).
We start our discussion with relations among states and classifications of states. These are the same ones that we studied for discrete-time chains in our study of recurrence and transience, applied here to the jump chain \( \bs{Y} \). But as we will see, the relations and classifications make sense for the continuous-time chain \( \bs{X} \) as well. The discussion is complicated slightly when there are absorbing states. Only when \( \bs{X} \) is in an absorbing state can we not interpret the values of \( \bs{Y} \) as the values of \( \bs{X} \) at the transition times (because of course, there are no transitions when \( \bs{X} \) is in an absorbing state). But \( x \in S \) is absorbing for the continuous-time chain \( \bs{X} \) if and only if \( x \) is absorbing for the jump chain \( \bs{Y} \), so this trivial exception is easily handled.
For \( y \in S \) let \( \rho_y = \inf\{n \in \N_+: Y_n = y\} \), the (discrete) hitting time to \( y \) for the jump chain \( \bs{Y} \), where as usual, \( \inf(\emptyset) = \infty \). That is, \( \rho_y \) is the first positive (discrete) time that \( \bs{Y} \) in in state \( y \). The analogous random time for the continuous-time chain \( \bs{X} \) is \(\tau_{\rho_y} \), where naturally we take \( \tau_\infty = \infty \). This is the first time that \( \bs{X} \) is in state \( y \), not counting the possible initial period in \( y \). Specifically, suppose \( X_0 = x \). If \( x \ne y \) then \( \tau_{\rho_y} = \inf\{t \gt 0: X_t = y\} \). If \( x = y \) then \( \tau_{\rho_y} = \inf\{t \gt \tau_1: X_t = y\} \).
Define the hitting matrix \( H \) by \[ H(x, y) = \P(\rho_y \lt \infty \mid Y_0 = x), \quad (x, y) \in S^2 \] Then \(H(x, y) = \P\left(\tau_{\rho_y} \lt \infty \mid X_0 = x\right)\) except when \( x \) is absorbing and \( y = x \).
So for the continuous-time chain, if \( x \in S \) is stable then \( H(x, x) \) is the probability that, starting in \( x \), the chain \( \bs{X} \) returns to \( x \) after its initial period in \( x \). If \( x, \, y \in S \) are distinct, then \( H(x, y) \) is simply the probability that \( \bs{X} \), starting in \( x \), eventually reaches \( y \). It follows that the basic relation among states makes sense for either the continuous-time chain \( \bs{X} \) as well as its jump chain \( \bs{Y} \).
Define the leads to relation \( \to \) on \( S^2 \) by \( x \to y \) if \( x = y \) or \( H(x, y) \gt 0 \).
The relation \( \to \) is reflexive by definition: \( x \to x \) for every \( x \in S \). From our previous study of discrete-time chains, we know it's also transitive: if \( x \to y \) and \( y \to z \) then \( x \to z \) for \( x, \, y, \, z \in S \). We also know that \( x \to y \) if and only if there is a directed path in the state graph from \( x \) to \( y \), if and only if \( Q^n(x, y) \gt 0 \) for some \( n \in \N \). For the continuous-time transition matrices, we have a stronger result that in turn makes a stronger case that the leads to relation is fundamental for \( \bs{X} \).
Suppose \( (x, y) \in S^2 \).
This result is proved in the section on transition matrices and generators.
This result is known as the Lévy dichotomy, and is named for Paul Lévy. Let's recall a couple of other definitions:
Suppose that \( A \) is a nonempty subset of \( S \).
If \( S \) is irreducible, we also say that the chain \( \bs{X} \) itself is irreducible.
If \( A \) is a nonempty subset of \( S \), then \( \cl(A) = \{y \in S: x \to y \text{ for some } x \in A\} \) is the smallest closed set containing \( A \), and is called the closure of \( A \).
Suppose that \( A \subseteq S \) is closed. Then
Define the to and from relation \( \leftrightarrow \) on \( S \) by \( x \leftrightarrow y \) if \( x \to y \) and \( y \to x \) for \( (x, y) \in S^2 \).
The relation \( \leftrightarrow \) defines an equivalence relation on \( S \) and hence partitions \( S \) into mutually disjoint equivalence classes. Recall from our study of discrete-time chains that a closed set is not necessarily an equivalence class, nor is an equivalence class necessarily closed. However, an irreducible set is an equivalence class, but an equivalence class may not be irreducible. The importance of the relation \( \leftrightarrow \) stems from the fact that many important properties of Markov chains (in discrete or continuous time) turn out to be class properties, shared by all states in an equivalence class. The following definition is fundamental, and once again, makes sense for either the continuous-time chain \( \bs{X} \) or its jump chain \( \bs{Y} \).
Let \( x \in S \).
Recall from our study of discrete-time chains that if \( x \) is recurrent and \( x \to y \) then \( y \) is recurrent and \( y \to x \). Thus, recurrence and transience are class properties, shared by all states in an equivalence class.
For \( x \in S \), let \( N_x \) denote the number of visits to state \( x \) by the jump chain \( \bs{Y} \), and let \( T_x \) denote the total time spent in state \( x \) by the continuous-time chain \( \bs{X} \). Thus \[ N_x = \sum_{n=0}^\infty \bs{1}(Y_n = x), \quad T_x = \int_0^\infty \bs{1}(X_t = x) \, dt \] The expected values \( R(x, y) = \E(N_y \mid Y_0 = x) \) and \( U(x, y) = \E(T_y \mid X_0 = x) \) for \( (x, y) \in S^2 \) define the potential matrices of \( \bs{Y} \) and \( \bs{X} \), respectively. From our previous study of discrete-time chains, we know the distribution and mean of \( N_y \) given \( Y_0 = x \) in terms of the hitting matrix \( H \). The next two results give a review:
Suppose that \( x, \, y \in S \) are distinct. Then
Let's take cases. First suppose that \( y \) is recurrent. In part (a), \( \P(N_y = n \mid Y_0 = y) = 0 \) for all \( n \in \N_+ \), and consequently \( \P(N_y = \infty \mid Y_0 = y) = 1 \). In part (b), \( \P(N_y = n \mid Y_0 = x) = 0 \) for \( n \in \N_+ \), and consequently \( \P(N_y = 0 \mid Y_0 = x) = 1 - H(x, y) \) while \( \P(N_y = \infty \mid Y_0 = x) = H(x, y) \). Suppose next that \( y \) is transient. Part (a) specifies a proper geometric distribution on \( \N_+ \) while in part (b), probability \( 1 - H(x, y) \) is assigned to 0 and the remaining probability \( H(x, y) \) is geometrically distributed over \( \N_+ \) as in (a). In both cases, \( N_y \) is finite with probability 1. Next we consider the expected value, that is, the (discrete) potential. To state the results succinctly we will use the convention that \( a / 0 = \infty \) if \( a \gt 0 \) and \( 0 / 0 = 0 \).
Suppose again that \( x, \, y \in S \) are distinct. Then
Let's take cases again. If \( y \in S \) is recurrent then \( R(y, y) = \infty \), and for \( x \in S \) with \( x \ne y \), either \( R(x, y) = \infty \) if \( x \to y \) or \( R(x, y) = 0 \) if \( x \not \to y \). If \( y \in S \) is transient, \( R(y, y) \) is finite, as is \( R(x, y) \) for every \( x \in S \) with \( x \ne y \). Moreover, there is an inverse relationship of sorts between the potential and the hitting probabilities.
Naturally, our next goal is to find analogous results for the continuous-time chain \( \bs{X} \). For the distribution of \( T_y \) it's best to use the right distribution function.
Suppose that \( x, \, y \in S \) are distinct. Then for \( t \in [0, \infty) \)
The proof is by conditioning on \( N_y \).
Let's take cases as before. Suppose first that \( y \) is recurrent. In part (a), \( \P(T_y \gt t \mid X_0 = y) = 1 \) for every \( t \in [0, \infty) \) and hence \( \P(T_y = \infty \mid X_0 = y) = 1 \). In part (b), \( \P(T_y \gt t \mid X_0 = x) = H(x, y) \) for every \( t \in [0, \infty) \) and consequently \( \P(T_y = 0 \mid X_0 = x) = 1 - H(x, y) \) while \( \P(T_y = \infty \mid X_0 = x) = H(x, y) \). Suppose next that \( y \) is transient. From part (a), the distribution of \( T_y \) given \( X_0 = y \) is exponential with parameter \( \lambda(y) [1 - H(y, y)] \). In part (b), the distribution assigns probability \(1 - H(x, y) \) to 0 while the remaining probability \( H(x, y) \) is exponentially distributed over \( (0, \infty) \) as in (a). Taking expected value, we get a very nice relationship between the potential matrix \( U \) of the continuous-time chain \( \bs{X} \) and the potential matrix \( R \) of the discrete-time jump chain \( \bs{Y} \):
For every \( (x, y) \in S^2 \), \[ U(x, y) = \frac{R(x, y)}{\lambda(y)} \]
If \( y \) is recurrent, then \( U(x, y) = R(x, y) \) and the common value is either 0 if \( H(x, y) = 0 \) or \( \infty \) if \( H(x, y) = 1 \). So suppose that \( y \) is transient. We can compute the expected value of \( T_y \) by integrating the right distribution function in the previous theorem. In case \( x = y \), we have \[ U(y, y) = \int_0^\infty \exp\{-\lambda(y)[1 - H(y, y)]t\} \, dt = \frac{1}{\lambda(y)[1 - H(y, y)]} = \frac{R(y, y)}{\lambda(y)}\] In the case that \( x \) and \( y \) are distinct, \[ U(x, y) = \int_0^\infty H(x, y)\exp\{-\lambda(y)[1 - H(y, y)]t\} \, dt = \frac{H(x, y)}{\lambda(y)[1 - H(y, y)]} = \frac{R(x, y)}{\lambda(y)} \]
In particular, \( y \in S \) is transient if and only if \( R(x, y) \lt \infty \) for every \( x \in S \), if and only if \( U(x, y) \lt \infty \) for every \( x \in S \). On the other hand, \( y \) is recurrent if and only if \( R(x, y) = U(x, y) = \infty \) if \( x \to y \) and \( R(x, y) = U(x, y) = 0 \) if \( x \not \to y \).
Unlike transience and recurrence, the definitions of null and positive recurrence of a state \( x \in S \) are different for the continuous-time chain \( \bs{X} \) and its jump chain \( \bs{Y} \). This is because these definitions depend on the expected hitting time to \( x \), starting in \( x \), and not just the finiteness of this hitting time. For \( x \in S \), let \( \nu(x) = \E(\rho_x \mid Y_0 = x) \), the expected (discrete) return time to \( x \) starting in \( x \). Recall that \( x \) is positive recurrent for \( \bs{Y} \) if \( \nu(x) \lt \infty \) and \( x \) is null recurrent if \( x \) is recurrent but not positive recurrent, so that \( H(x, x) = 1 \) but \( \nu(x) = \infty \). The definitions are similar for \( \bs{X} \), but using the continuous hitting time \( \tau_{\rho_x} \).
For \( x \in S \), let \( \mu(x) = 0 \) if \( x \) is absorbing and \( \mu(x) = \E\left(\tau_{\rho_x} \mid X_0 = x\right) \) if \( x \) is stable. So if \( x \) is stable, \( \mu(x) \) is the expected return time to \( x \) starting in \( x \) (after the initial period in \( x \)).
A state \( x \in S \) can be positive recurrent for \( \bs{X} \) but null recurrent for its jump chain \( \bs{Y} \) or can be null recurrent for \( \bs{X} \) but positive recurrent for \( \bs{Y} \). But like transience and recurrence, positive and null recurrence are class properties, shared by all states in an equivalence class under the to and from equivalence relation \( \leftrightarrow \).
Our next discussion concerns functions that are invariant for the transition matrix \( Q \) of the jump chain \( \bs{Y} \) and functions that are invariant for the transition semigroup \( \bs{P} = \{P_t: t \in [0, \infty)\} \) of the continuous-time chain \( \bs{X} \). For both discrete-time and continuous-time chains, there is a close relationship between invariant functions and the limiting behavior in time.
First let's recall the definitions. A function \( f: S \to [0, \infty) \) is invariant for \( Q \) (or for the chain \( \bs{Y} \)) if \( f Q = f \). It then follows that \( f Q^n = f \) for every \( n \in \N \). In continuous time we must assume invariance at each time. That is, a function \( f: S \to [0, \infty) \) is invariant for \( \bs{P} \) (or for the chain \( \bs{X} \)) if \( f P_t = f \) for all \( t \in [0, \infty) \). Our interest is in nonnegative functions, because we can think of such a function as the density function, with respect to counting measure, of a positive measure on \( S \). We are particularly interested in the special case that \( f \) is a probability density function, so that \( \sum_{x \in S} f(x) = 1 \). If \( Y_0 \) has a probability density function \( f \) that is invariant for \( Q \), then \( Y_n \) has probability density function \( f \) for all \( n \in \N \) and hence \( \bs{Y} \) is stationary. Similarly, if \( X_0 \) has a probability density function \( f \) that is invariant for \( \bs{P} \) then \( X_t \) has probability density function \( f \) for every \( t \in [0, \infty) \) and once again, the chain \( \bs{X} \) is stationary.
Our first result shows that there is a one-to-one correspondence between invariant functions for \( Q \) and zero functions for the generator \( G \).
Suppose \( f: S \to [0, \infty) \). Then \( f G = 0 \) if and only if \( (\lambda f) Q = \lambda f \), so that \( \lambda f \) is invariant for \( Q \).
This is a simple consequence of the definition of the generator: \[ f G(y) = \sum_{x \in S} f(x) G(x, y) = -\lambda(y) f(y) + \sum_{x \in S} f(x) \lambda(x) Q(x, y), \quad y \in S \] or in functional form, \( f G = - \lambda f + (\lambda f) Q \)
If our chain \( \bs{X} \) has no absorbing states, then \( f: S \to [0, \infty) \) is invariant for \( Q \) if and only if \( (f / \lambda ) G = 0 \).
Suppose that \( f: S \to [0, \infty) \). Then \( f \) is invariant for \( \bs{P} \) if and only if \( f G = 0 \).
Proof 1: Assume that \( \lambda \) is bounded, so that the transition semigroup \( \bs{P} \) is uniform. Then \( P_t = e^{t G} \) for \( t \in [0, \infty) \). So if \( f: S \to [0, \infty) \) then \[ f P_t = f (e^{t G}) = f \sum_{n=0}^\infty \frac{t^n}{n!} G^n = f + \sum_{n=1}^\infty \frac{t^n}{n!} f G^n \] Since \( f \) is nonnegative, \( f P_t = f \) if and only if \( f G = 0 \) (in which case \( f G^n = 0 \) for every \( n \in \N_+ \)).
Proof 2: Suppose that \( f P_t = f \) for \( t \in [0, \infty) \). Then \( \frac{d}{dt} (f P_t) = 0 \) for \( t \in [0, \infty) \). But using the Kolmogorov backward equation, \( \frac{d}{dt} (f P_t) = f \frac{d}{dt} P_t = f G P_t = 0 \). Letting \( t = 0 \) we conclude that \( f G = 0 \). Conversely, if \( f G = 0 \) then \( \frac{d}{dt} (f P_t) = f \frac{d}{dt} P_t = f G P_t = 0 \) for \( t \in [0, \infty) \). It follows that \( f P_t \) is constant in \( t \in [0, \infty) \). Since \( f P_0 = f \) it follows that \( f P_t = f \) for all \( t \in [0, \infty) \).
So combining and we see that \( f \) is invariant for the continuous-time chain \( \bs{X} \) if and only if \( \lambda f \) is invariant for the jump chain \( \bs{Y} \). Our next result shows how functions that are invariant for \( \bs{X} \) are related to the resolvent \( \bs{U} = \{U_\alpha: \alpha \in (0, \infty)\} \). To appreciate the result, recall that for \( \alpha \in (0, \infty) \) the matrix \( \alpha U_\alpha \) is a probability matrix, and in fact \( \alpha U_\alpha(x, \cdot) \) is the conditional probability density function of \( X_T \), given \( X_0 = x \), where \( T \) is independent of \( \bs{X} \) and has the exponential distribution with parameter \( \alpha \). So \( \alpha U_\alpha \) is a transition matrix just as \( P_t \) is a transition matrix, but corresponding to the exponentially distributed random time \( T \) with parameter \( \alpha \in (0, \infty) \) rather than the deterministic time \( t \in [0, \infty) \).
Suppose that \( f: S \to [0, \infty) \). If \( f G = 0 \) then \( f (\alpha U_\alpha) = f\) for \( \alpha \in (0, \infty) \). Conversely if \( f (\alpha U_\alpha) = f \) for \( \alpha \in (0, \infty) \) then \( f G = 0 \).
Recall that \( I + G U_\alpha = \alpha U_\alpha \) for \( \alpha \in (0, \infty) \). Hence if \( f G = 0 \) then \[ f (\alpha U_\alpha) = f + f G U_\alpha = f \] Conversely, suppose that \( f (\alpha U_\alpha) = f \). Then \[ f G U_\alpha = \int_0^\infty e^{-\alpha t} f G P_t dt = 0 \] As a function of \( \alpha \in (0, \infty) \), the integral on the right side is the Laplace transform of the time function \( t \mapsto f G P_t \). Hence we must have \( f G P_t = 0 \) for \( t \in (0, \infty) \), and letting \( t \downarrow 0 \) gives \( f G = 0 \).
So extending our summary, \( f: S \to [0, \infty) \) is invariant for the transition semigroup \( \bs{P} = \{P_t: t \in [0, \infty)\} \) if and only if \( \lambda f \) is invariant for jump transition matrices \( \{Q^n: n \in \N\} \) if and only if \( f G = 0 \) if and only if \( f \) is invariant for the collection of probability matrices \( \{\alpha U_\alpha: \alpha \in (0, \infty)\} \). From our knowledge of the theory for discrete-time chains, we now have the following fundamental result:
Suppose that \( \bs{X} \) is irreducible and recurrent.
The result is trivial if \( S \) consists of a single, necessarily absorbing, state. Otherwise, there are no absorbing states, since \( \bs{X} \) is irreducible and so \( \lambda(x) \gt 0 \) for \( x \in S \). From the result above, \( f \) is invariant for \( \bs{X} \) if and only if \( \lambda f \) is invariant for \( \bs{Y} \). But \( \bs{Y} \) is also irreducible and recurrent, so we know that there exists a strictly positive function that is invariant for \( \bs{Y} \), and every other function that is invariant for \( \bs{Y} \) is a nonnegative multiple of this one. Hence the same is true for \( \bs{X} \).
Invariant functions have a nice interpretation in terms of occupation times, an interpretation that parallels the discrete case. The potential gives the expected total time in a state, starting in another state, but here we need to consider the expected time in a state during a cycle that starts and ends in another state.
For \( x \in S \), define the function \( \gamma_x \) by \[ \gamma_x(y) = \E\left(\int_0^{\tau_{\rho_x}} \bs{1}(X_s = y) \, ds \biggm| X_0 = x\right), \quad y \in S \] so that \( \gamma_x(y) \) is the expected occupation time in state \( y \) before the first return to \( x \), starting in \( x \).
Suppose again that \( \bs{X} \) is irreducible and recurrent. For \( x \in S \),
As is often the case, the proof is based on results that we already have for the embedded jump chain. For \( x \in S \), define \[ \delta_x(y) = \E\left(\sum_{n=0}^{\rho_x - 1} \bs{1}(Y_n = y) \biggm| Y_0 = x\right), \quad y \in S \] so that \( \delta_x(y) \) is the expected number of visits to \( y \) before the first return to \( x \), starting in \( x \), for the jump chain \( \bs Y = (Y_0, Y_1, \ldots) \). Since \( \bs X \) is irreducible and recurrent, so is \( \bs Y \). From our results in the discrete case we know that
From our results above, it follows that the function \( y \mapsto \delta_x(y) / \lambda(y) \) satisfies properties (a), (b), and (c) in the theorem. But each visit to \( y \) by the jump chain \( \bs Y \) has expected length \( 1 / \lambda(y) \) for the continuous-time chain \( \bs X \). It follows that \( \gamma_x(y) = \delta_x(y) / \lambda(y) \) for \( x, \, y \in S \). By definition, \( \gamma_x(y) \) is the expected occupation time in \( y \) before the first return to \( x \), starting in \( x \). Hence, summing over \( y \in S \) gives the expected return time to \( x \), starting in \( x \), so (d) holds.
So now we have some additional insight into positive and null recurrence for the continuous-time chain \( \bs{X} \) and the associated jump chain \( \bs{Y} \). Suppose again that the chains are irreducible and recurrent. There exist \( g: S \to (0, \infty) \) that is invariant for \( \bs{Y} \), and then \( g / \lambda \) is invariant for \( \bs{X} \). The invariant functions are unique up to multiplication by positive constants. The jump chain \( \bs{Y} \) is positive recurrent if and only if \( \sum_{x \in S} g(x) \lt \infty\) while the continuous-time chain \( \bs{X} \) is positive recurrent if and only if \( \sum_{x \in S} g(x) \big/ \lambda(x) \lt \infty \). Note that if \( \lambda \) is bounded (which is equivalent to the transition semigroup \( \bs{P} \) being uniform), then \( \bs{X} \) is positive recurrent if and only if \( \bs{Y} \) is positive recurrent.
Suppose again that \( \bs{X} \) is irreducible and recurrent.
From the previous result, there exists \( g: S \to (0, \infty) \) that is invariant for \( \bs{X} \), and every other invariant function is a nonnegative multiple of this one. The function \( f \) given by \[ f(y) = \frac{g(y)}{\sum_{x \in S} g(x)}, \quad y \in S \] is uniquely defined (that is, unchanged if we replace \( g \) by \( c g \) where \( c \gt 0 \)).
Our next discussion focuses on the limiting behavior of the transition semigroup \( \bs{P} = \{P_t: t \in [0, \infty)\} \). Our first result is a simple corollary of .
If \( y \in S \) is transient, then \( P_t(x, y) \to 0 \) as \( t \to \infty \) for every \( x \in S \).
So we should turn our attention to the recurrent states. The set of recurrent states partitions into equivalent classes under \( \leftrightarrow \), and each of these classes is irreducible. Hence we can assume without loss of generality that our continuous-time chain \( \bs{X} = \{X_t: t \in [0, \infty)\} \) is irreducible and recurrent. To avoid trivialities, we will also assume that \( S \) has at least two states. Thus, there are no absorbing states and so \( \lambda(x) \gt 0 \) for \( x \in S \). Here is the main result.
Suppose that \( \bs{X} = \{X_t: t \in [0, \infty)\} \) is irreducible and recurrent. Then \(f(y) = \lim_{t \to \infty} P_t(x, y)\) exists for each \( y \in S \), independently of \( x \in S \). The function \( f \) is invariant for \( \bs{X} \) and \[ f(y) = \frac{\gamma_x(y)}{\mu(x)}, \quad y \in S \]
The basic idea is that \[ \lim_{t \to \infty} P_t(x, y) = \lim_{t \to \infty} \frac{1}{t} \int_0^t P_s(x, y) ds \] The expression on the right is the limiting proportion of time spent in \( y \in S \), starting in \( x \in S \). This proportion is \( \gamma_x(y) \big/ \mu(x) \), so the results follow from .
The limiting function \( f \) can be computed in a number of ways. First we find a function \( g: S \to (0, \infty) \) that is invariant for \( \bs{X} \). We can do this by solving
The function \( g \) is unique up to multiplication by positive constants. If \( \sum_{x \in S} g(x) \lt \infty \), then we are in the positive recurrent case and so \( f \) is simply \( g \) normalized: \[ f(y) = \frac{g(y)}{\sum_{x \in S} g(x)}, \quad y \in S \]
Exercise given next is known as the ergodic theorem for continuous-time Markov chains. It can also be thought of as a strong law of large numbers for continuous-time Markov chains.
Suppose that \( \bs{X} = \{X_t: t \in [0, \infty)\} \) is irreducible and positive recurrent, with (unique) invariant probability density function \( f \). If \( h: S \to \R \) then \[ \frac{1}{t} \int_0^t h(X_s) ds \to \sum_{x \in S} f(x) h(x) \text{ as } t \to \infty \] with probability 1, assuming that the sum on the right converges absolutely.
First, let \( x, \, y \in S \) and let \( h = \bs{1}_y \), the indicator function of \( y \). Then given \( X_0 = x \), \( \frac{1}{t} \int_0^t h(X_s) ds \) is the average occupation time in state \( y \), starting in state \( x \), over the time interval \( [0, t] \). In expected value, this is \( \frac{1}{t} \int_0^t P_s(x, y) ds \) which we know converges to \( f(y) \) as \( t \to \infty \), independently of \( x \). So in this special case, the ergodic theorem states that the convergence is with probability 1 also. A general function \( h: S \to \R \) is a linear combination of the indicator functions of the points in \( S \), so the ergodic theorem is plausible.
Note that no assumptions are made about \( X_0 \), so the limit is independent of the initial state. By now, this should come as no surprise. After a long period of time, the Markov chain \( \bs{X} \) forgets
about the initial state. Note also that \( \sum_{x \in S} f(x) h(x) \) is the expected value of \( h \), thought of as a random variable on \( S \) with probability measure defined by \( f \). On the other hand, \( \frac{1}{t} \int_0^t h(X_s) ds \) is the average of the time function \( s \mapsto h(X_s) \) on the interval \( [0, t] \). So the ergodic theorem states that the limiting time average on the left is the same as the spatial average on the right.
The continuous-time, two-state chain has been studied in the last several sections. The following result puts the pieces together and completes the picture.
Consider the continuous-time Markov chain \( \bs{X} = \{X_t: t \in [0, \infty)\} \) on \( S = \{0, 1\} \) with transition rate \( a \in (0, \infty) \) from 0 to 1 and transition rate \( b \in (0, \infty) \) from 1 to 0. Give each of the following
Note that since the transition rates \( a \) and \( b \) are positive, the chain is irreducible.
The following continuous-time chain has also been studied in the previous three sections.
Consider the Markov chain \( \bs{X} = \{X_t: t \in [0, \infty)\} \) on \( S = \{0, 1, 2\} \) with exponential parameter function \( \lambda = (4, 1, 3) \) and jump transition matrix \[ Q = \left[\begin{matrix} 0 & \frac{1}{2} & \frac{1}{2} \\ 1 & 0 & 0 \\ \frac{1}{3} & \frac{2}{3} & 0\end{matrix}\right] \]
Stationary and limiting distributions for the folloing special models are discussed in separate sections.