Feller process: Difference between revisions
generator |
|||
Line 13: | Line 13: | ||
A '''Feller process''' is a Markov process with a Feller transition function. |
A '''Feller process''' is a Markov process with a Feller transition function. |
||
== Generator == |
|||
Feller processes (or transition semigroups) can be described by their infinitesimal generator. A function ''f'' in ''C''<sub>0</sub> is said to be in the domain of the generator if the uniform limit |
|||
:<math> Af = \lim_{t\rightarrow 0} \frac{T_tf - f}{t}</math>, |
|||
exists. The operator ''A'' is the generator of ''T<sub>t</sub>'', and the space of functions on which it is defined is wriiten as ''D<sub>A</sub>''. |
|||
== Examples == |
== Examples == |
Revision as of 23:41, 24 April 2008
In mathematics, a Feller process is a particular kind of Markov process.
Definitions
Let X be a locally compact topological space with a countable base. Let C0(X) denote the space of all real-valued continuous functions on X which vanish at infinity.
A Feller semigroup on C0(X) is a collection {Tt}t ≥ 0 of positive linear maps from C0(X) to itself such that
- ||Ttf || ≤ ||f || for all t ≥ 0 and f in C0(X),
- the semigroup property: Tt + s = Tt oTs for all s, t ≥ 0,
- limt → 0||Ttf - f || = 0 for every f in C0(X).
A Feller transition function is a probability transition function associated with a Feller semigroup.
A Feller process is a Markov process with a Feller transition function.
Generator
Feller processes (or transition semigroups) can be described by their infinitesimal generator. A function f in C0 is said to be in the domain of the generator if the uniform limit
- ,
exists. The operator A is the generator of Tt, and the space of functions on which it is defined is wriiten as DA.
Examples
- Brownian motion and the Poisson process are examples of Feller processes. More generally, every Levy process is a Feller process.
- Bessel processes are Feller processes.
- Solutions to stochastic differential equations with Lipschitz continuous coefficients are Feller processes.