Difference between revisions of "Transition-operator semi-group"
Ulf Rehmann (talk | contribs) m (MR/ZBL numbers added) |
(MSC|60J35|47D07 Category:Markov processes) |
||
Line 1: | Line 1: | ||
+ | {{MSC|60J35|47D07}} | ||
+ | |||
+ | [[Category:Markov processes]] | ||
+ | |||
The [[Semi-group of operators|semi-group of operators]] generated by the [[Transition function|transition function]] of a [[Markov process|Markov process]]. From the transition function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937701.png" /> of a homogeneous Markov process <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937702.png" /> in a state space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937703.png" /> one can construct certain semi-groups of linear operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937704.png" /> acting in some Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937705.png" /> [[#References|[1]]]. Very often, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937706.png" /> is the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937707.png" /> of bounded real-valued measurable functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937708.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937709.png" /> with the uniform norm (or for a [[Feller process|Feller process]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377010.png" />, the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377011.png" /> of continuous functions with the same norm) or else the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377012.png" /> of finite countably-additive functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377013.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377014.png" /> with the complete variation as norm. In the first two cases one puts | The [[Semi-group of operators|semi-group of operators]] generated by the [[Transition function|transition function]] of a [[Markov process|Markov process]]. From the transition function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937701.png" /> of a homogeneous Markov process <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937702.png" /> in a state space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937703.png" /> one can construct certain semi-groups of linear operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937704.png" /> acting in some Banach space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937705.png" /> [[#References|[1]]]. Very often, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937706.png" /> is the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937707.png" /> of bounded real-valued measurable functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937708.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t0937709.png" /> with the uniform norm (or for a [[Feller process|Feller process]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377010.png" />, the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377011.png" /> of continuous functions with the same norm) or else the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377012.png" /> of finite countably-additive functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377013.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/t/t093/t093770/t09377014.png" /> with the complete variation as norm. In the first two cases one puts | ||
Revision as of 15:15, 17 April 2012
2020 Mathematics Subject Classification: Primary: 60J35 Secondary: 47D07 [MSN][ZBL]
The semi-group of operators generated by the transition function of a Markov process. From the transition function of a homogeneous Markov process
in a state space
one can construct certain semi-groups of linear operators
acting in some Banach space
[1]. Very often,
is the space
of bounded real-valued measurable functions
in
with the uniform norm (or for a Feller process
, the space
of continuous functions with the same norm) or else the space
of finite countably-additive functions
on
with the complete variation as norm. In the first two cases one puts
![]() |
and in the third
![]() |
(here and
belong to the corresponding spaces,
,
). In all these cases the semi-group property holds:
,
, and any of the three semi-groups
is called a transition-operator semi-group.
In what follows, only the first case is considered. The usual definition of the infinitesimal generator of the semi-group
(this is also the infinitesimal generator of the process) is as follows:
![]() |
for all for which this limit exists as a limit in
. It is assumed that
for
is a measurable function of the pair of variables
, and one introduces the resolvent
of the process
,
, by:
![]() | (*) |
If as
, then
, where
. Under certain assumptions the integral (*) exists also for
, and
satisfies the "Poisson equation"
![]() |
(for this reason, in particular, is called the potential of
).
Knowledge of the infinitesimal generator enables one to derive important characteristics of the initial process; the classification of Markov processes amounts to the description of their corresponding infinitesimal generators [2], [3]. Also, using the infinitesimal generator one can find the mean values of various functionals. For example, under certain assumptions the function
![]() |
is a unique solution to ,
, which is a not-too-rapidly-increasing function of
. Here
is the mathematical expectation corresponding to
, while
.
The operator is related to the characteristic operator
[2]. Let
be a Markov process that is right continuous in a topological space
. For a Borel function
one puts
![]() |
if the limit exists for all , where
runs through a system of neighbourhoods of the point
contracting towards
and where
is the moment of first exit of
from
(if
, the fraction in the limit is set equal to zero). In many cases the calculation of
amounts to calculating
.
References
[1] | W. Feller, "The parabolic differential equations and the associated semi-groups of transformations" Ann. of Math. , 55 (1952) pp. 468–519 MR0047886 |
[2] | E.B. Dynkin, "Foundations of the theory of Markov processes" , Springer (1961) (Translated from Russian) MR0131898 |
[3] | I.I. [I.I. Gikhman] Gihman, A.V. [A.V. Skorokhod] Skorohod, "The theory of stochastic processes" , 2 , Springer (1975) (Translated from Russian) MR0375463 Zbl 0305.60027 |
Comments
References
[a1] | R.M. Blumenthal, R.K. Getoor, "Markov processes and potential theory" , Acad. Press (1968) MR0264757 Zbl 0169.49204 |
[a2] | J.L. Doob, "Classical potential theory and its probabilistic counterpart" , Springer (1984) pp. 390 MR0731258 Zbl 0549.31001 |
[a3] | E.B. Dynkin, "Markov processes" , 1 , Springer (1965) (Translated from Russian) MR0193671 Zbl 0132.37901 |
[a4] | W. Feller, "An introduction to probability theory and its applications" , 1–2 , Wiley (1966) MR0210154 Zbl 0138.10207 |
[a5] | M. Loève, "Probability theory" , II , Springer (1978) MR0651017 MR0651018 Zbl 0385.60001 |
[a6] | C. Dellacherie, P.A. Meyer, "Probabilities and potential" , 1–3 , North-Holland (1978–1988) pp. Chapts. XII-XVI (Translated from French) MR0939365 MR0898005 MR0727641 MR0745449 MR0566768 MR0521810 Zbl 0716.60001 Zbl 0494.60002 Zbl 0494.60001 |
[a7] | M.J. Sharpe, "General theory of Markov processes" , Acad. Press (1988) MR0958914 Zbl 0649.60079 |
[a8] | S. Albeverio, Zh.M. Ma, "A note on quasicontinuous kernels representing quasilinear positive maps" Forum Math. , 3 (1991) pp. 389–400 |
Transition-operator semi-group. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Transition-operator_semi-group&oldid=23669