Feller process
Stochastic process From Wikipedia, the free encyclopedia
Stochastic process From Wikipedia, the free encyclopedia
In probability theory relating to stochastic processes, a Feller process is a particular kind of Markov process.
This article needs additional citations for verification. (September 2009) |
Let X be a locally compact Hausdorff space with a countable base. Let C0(X) denote the space of all real-valued continuous functions on X that vanish at infinity, equipped with the sup-norm ||f ||. From analysis, we know that C0(X) with the sup norm is a Banach space.
A Feller semigroup on C0(X) is a collection {Tt}t ≥ 0 of positive linear maps from C0(X) to itself such that
Warning: This terminology is not uniform across the literature. In particular, the assumption that Tt maps C0(X) into itself is replaced by some authors by the condition that it maps Cb(X), the space of bounded continuous functions, into itself. The reason for this is twofold: first, it allows including processes that enter "from infinity" in finite time. Second, it is more suitable to the treatment of spaces that are not locally compact and for which the notion of "vanishing at infinity" makes no sense.
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.
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 written as DA.
A characterization of operators that can occur as the infinitesimal generator of Feller processes is given by the Hille–Yosida theorem. This uses the resolvent of the Feller semigroup, defined below.
The resolvent of a Feller process (or semigroup) is a collection of maps (Rλ)λ > 0 from C0(X) to itself defined by
It can be shown that it satisfies the identity
Furthermore, for any fixed λ > 0, the image of Rλ is equal to the domain DA of the generator A, and
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.