Standard transition semigroups and regularity of jump processes

[14/29%]
Show
LaTeX

Let X={X(t),t⩾0}X = \left\{ X(t), t \geqslant 0\right\} be a homogeneous standard (i.e., pij(t)→δijp_{i j}(t) \rightarrow \delta_{i j} as t→0+t \rightarrow 0+) Markov chain with a finite or countable state space S\mathrm{S} and transition probabilities pij(t)p_{i j}(t), considered in its separable modification, and let Q=(qij)i,j∈SQ = \left(q_{i j}\right)_{i, j \in \mathrm{S}} be its infinitesimal matrix:

qij=d+pij(t)dt∣t=0,qi=−qii∈[0,∞]. q_{i j} = \left.\frac{d^{+} p_{i j}(t)}{d t}\right|_{t = 0}, \quad q_{i} = -q_{i i} \in [0, \infty ] .

Let qi=∞q_{i} = \infty for a state ii. Then the probability that the process XX stays in this state for a positive time is zero, i.e., having entered this state, the process leaves it instantly.

?

Let X={X(t),t⩾0}X = \left\{ X(t), t \geqslant 0\right\} be a homogeneous standard (i.e., pij(t)→δijp_{i j}(t) \rightarrow \delta_{i j} as t→0+t \rightarrow 0+) Markov chain with a finite or countable state space S\mathrm{S} and transition probabilities pij(t)p_{i j}(t), and let Q=(qij)i,j∈SQ = \left(q_{i j}\right)_{i, j \in \mathrm{S}} be its infinitesimal matrix:

qij=d+pij(t)dt∣t=0,qi=−qii∈[0,∞]. q_{i j} = \left.\frac{d^{+} p_{i j}(t)}{d t}\right|_{t = 0}, \quad q_{i} = -q_{i i} \in [0, \infty ] .

Prove that sup⁡iqi<∞\sup_{i} q_{i} < \infty if and only if pii(t)→1p_{i i}(t) \rightarrow 1 as t→0+t \rightarrow 0+ uniformly in i∈Si \in \mathrm{S} (or, equivalently, pij(t)→δijp_{i j}(t) \rightarrow \delta_{i j} as t→0+t \rightarrow 0+ uniformly in i,j∈Si, j \in \mathrm{S} ).

?

Give an example of transition probabilities for which the standardness condition (49) does not hold.

Definition 9. A homogeneous Markov chain X={Xt,t⩾0}X = \left\{ X_{t}, t \geqslant 0\right\} (or the semigroup P(t)=(pij(t))P(t) = \left(p_{i j}(t)\right) generated by it) is called standard if P(t)→IP(t) \rightarrow I as t→0+t \rightarrow 0+, i.e., for all i,j∈Si, j \in \mathrm{S}

lim⁡t→0+pij(t)=δij,(49) \lim _{t \rightarrow 0+} p_{i j}(t) = \delta _{i j}, \tag {49}

where, as usual, δij\delta_{i j} is the Kronecker symbol.

Give an example where property (49) holds but (89) does not.

Condition (89), where qij=d+pij(t)dt∣t=0q_{i j} = \left.\frac{d^{+} p_{i j}(t)}{d t}\right|_{t = 0} are the entries of the infinitesimal matrix QQ:

qi:=−qii<∞ for all i∈S.(89) q_{i}: = -q_{i i} < \infty \text{ for all } i \in \mathrm{S} . \tag {89}
?

Definition 9. A homogeneous Markov chain X={Xt,t⩾0}X = \left\{ X_{t}, t \geqslant 0\right\} (or the semigroup P(t)=(pij(t))P(t) = \left(p_{i j}(t)\right) generated by it) is called standard if P(t)→IP(t) \rightarrow I as t→0+t \rightarrow 0+, i.e., for all i,j∈Si, j \in \mathrm{S}

lim⁡t→0+pij(t)=δij,(49) \lim _{t \rightarrow 0+} p_{i j}(t) = \delta _{i j}, \tag {49}

where, as usual, δij\delta_{i j} is the Kronecker symbol.

Let the state space S\mathrm{S} consist of a finite number NN of elements, and let the transition matrix P(t)P(t) be standard. Prove that then this matrix admits the following representation:

P(t)=exp(tQ),t⩾0,(94) P(t) = \mathrm{exp}\left(t Q\right), \quad t \geqslant 0, \tag {94}

where the N×NN \times N matrix QQ satisfies the condition

qij⩾0 for i≠j and ∑jqij=0 for each i.(95) q_{i j} \geqslant 0 \text{ for } i \neq j \text{ and } \sum _{j} q_{i j} = 0 \text{ for each } i . \tag {95}

Conversely, if conditions (95) hold for a matrix QQ, then formula (94) defines a standard matrix of transition probabilities.

?

The backward system of Kolmogorov equations for the transition probabilities pij(t)p_{i j}(t) of a homogeneous Markov chain with infinitesimal matrix Q=(qij)i,j∈SQ = \left(q_{i j}\right)_{i, j \in \mathrm{S}} has the form

pij′(t)=∑kqikpkj(t),(65) p_{i j}^{\prime }(t) = \sum _{k} q_{i k} p_{k j}(t), \tag {65}

and the forward system has the form

pij′(t)=∑kpik(t)qkj for all i,j∈S.(72) p_{i j}^{\prime }(t) = \sum _{k} p_{i k}(t) q_{k j} \text{ for all } i, j \in \mathrm{S} . \tag {72}

Equations (65) and (72) can be understood either in the narrow sense (i.e., that all pij′(t)p_{i j}^{\prime }(t) are continuous for t⩾0t \geqslant 0 and the equations under study hold for all t⩾0t \geqslant 0 ), or in the broad sense, i.e., that pij(t)p_{i j}(t) are absolutely continuous and the equations under consideration hold for almost all (with respect to Lebesgue measure) t⩾0t \geqslant 0.

Prove that for the systems of Kolmogorov equations both interpretations given above (in the narrow and in the broad sense) are equivalent. For the forward equations this exercise should be classed among the very difficult ones.

?

Let Q=(qij)i,j∈SQ = \left(q_{i j}\right)_{i, j \in \mathrm{S}} be a matrix with real entries, where S\mathrm{S} is countable, such that

qij⩾0 for i≠j,qi=−qii⩾0, and ∑jqij⩽0 for i∈S.(96) q_{i j} \geqslant 0 \text{ for } i \neq j, \quad q_{i} = -q_{i i} \geqslant 0, \text{ and } \sum _{j} q_{i j} \leqslant 0 \text{ for } i \in \mathrm{S} . \tag {96}

The backward and forward systems of Kolmogorov equations for the matrices P(t)=(pij(t))i,j∈SP(t) = \left(p_{i j}(t)\right)_{i, j \in \mathrm{S}}, t⩾0t \geqslant 0, have, respectively, the form

pij′(t)=∑kqikpkj(t)(65) p_{i j}^{\prime }(t) = \sum _{k} q_{i k} p_{k j}(t) \tag {65}

and

pij′(t)=∑kpik(t)qkj for all i,j∈S.(72) p_{i j}^{\prime }(t) = \sum _{k} p_{i k}(t) q_{k j} \quad \text{ for all } \quad i, j \in \mathrm{S} . \tag {72}

(see also Exercise 34). Prove that if sup⁡iqi<∞\sup_{i} q_{i} < \infty, then both systems of Kolmogorov equations have a unique solution.

?

Let XX be a continuous-time Markov chain with countable state space SS and semigroup {Pt}\left\{ \mathbf{P}_{t}\right\}. Show that pij(t)p_{i j}(t) is a continuous function of tt. Let g(t)=−log⁡pii(t)g(t) = -\log p_{i i}(t); show that gg is a continuous function, g(0)=0g(0) = 0, and g(s+t)≤g(s)+g(t)g(s+t) \leq g(s)+g(t). We say that gg is 'subadditive', and a well known theorem gives the result that

lim⁡t↓0g(t)t=λ exists and λ=sup⁡t>0g(t)t≤∞ \lim _{t \downarrow 0} \frac{g(t)}{t} = \lambda \quad \text{ exists and } \quad \lambda = \sup _{t > 0} \frac{g(t)}{t} \leq \infty

Deduce that the limit gii=lim⁡t↓0t−1{pii(t)−1}g_{i i} = \lim_{t \downarrow 0} t^{-1}\left\{ p_{i i}(t)-1\right\} exists.

?

Prove that the transition probabilities pij(t)p_{i j}(t) of a standard stochastic semigroup are uniformly continuous on R+\mathbb {R}_{+}.

?

Let ξt,t⩾0\xi_{t}, t \geqslant 0, be a homogeneous Markov process with countably many states (0,1,…)(0,1, \ldots ). Prove that if the transition functions Pij(t)P_{ij}(t) are continuous at t=0t = 0, then they are uniformly continuous for t⩾0t \geqslant 0.

?

Let ξt\xi_{t} and ηt,t⩾0\eta_{t}, t \geqslant 0, be two homogeneous Markov processes with countably many states, Pij(t)P_{ij}(t) and Qij(t)Q_{ij}(t) the corresponding transition functions. Prove that if for some t0>0t_{0} > 0 and all ii and jj, Pij(t)=Qij(t)P_{ij}(t) = Q_{ij}(t) for 0⩽t⩽t00 \leqslant t \leqslant t_{0}, then Pij(t)=Qij(t)P_{ij}(t) = Q_{ij}(t) for all t⩾0t \geqslant 0.

?

Let ξt,t⩾0\xi_{t}, t \geqslant 0, be a homogeneous Markov process with finitely many states {0,1,…,N}\left\{ 0,1, \ldots , N\right\} and transition functions Pij(t)P_{ij}(t). Prove that the determinant of the matrix P(t)P(t) with entries Pij(t),0⩽i,j⩽NP_{ij}(t), 0 \leqslant i, j \leqslant N, is positive for all t>0t > 0.

?

Let ξt,t⩾0\xi_{t}, t \geqslant 0, be a homogeneous Markov process with finitely many states {0,1,…,N}\left\{ 0,1, \ldots , N\right\} and transition functions Pij(t)P_{ij}(t). Suppose that Pij(t)P_{ij}(t) is continuous for all t⩾0t \geqslant 0. Prove that the finite limits

aij=lim⁡h→0Pij(h)−δijh,δij={1,i≠j,0,i≠j, a_{i j} = \lim _{h \rightarrow 0} \frac{P_{ij}(h)-\delta _{ij}}{h}, \quad \delta _{ij} = \begin{cases} 1, & i \neq j, \\ 0, & i \neq j, \end{cases}

exist, and ∑j≠iaij=−aii\sum_{j \neq i} a_{ij} = -a_{ii}.

?

Give an example of a homogeneous Markov process with countably many states for which the finite limits

lim⁡t→0Pii(t)−1t=aii,lim⁡t→0Pij(t)t=aij,i≠j \lim _{t \rightarrow 0} \frac{P_{ii}(t)-1}{t} = a_{ii}, \quad \lim _{t \rightarrow 0} \frac{P_{ij}(t)}{t} = a_{ij}, \quad i \neq j

exist, but ∑j≠iaij≠−aii\sum_{j \neq i} a_{ij} \neq -a_{ii}.

?

Show that there is no Markov process ξt\xi_{t}, t⩾0,ξ0=0t \geqslant 0, \xi_{0} = 0, with two states {0,1}\left\{ 0,1\right\} and trajectories almost surely continuous, whose transition probabilities equal P00(t)=e−t,P01(t)=1−e−t,P11(t)=1P_{00}(t) = e^{-t}, P_{01}(t) = 1-e^{-t}, P_{11}(t) = 1.

?

References

[БуШи05] Булинский А.В., Ширяев А.Н. Теория случайных процессов. ФИЗМАТЛИТ, 2005.
[GrSt20] Grimmett G.R., Stirzaker D.R. Probability and Random Processes. 4th ed., Oxford University Press, 2020.
[ЖРШ16] Жуковский М.Е., Родионов И.В., Шабанов Д.А. Основы теории случайных процессов. МФТИ, 2016.
[ПУУ86] Прохоров А.В., Ушаков В.Г., Ушаков Н. Задачи по теории вероятностей. Наука. Главная редакция физико-математической литературы, 1986.