# Feller process

In probability theory relating to stochastic processes, a **Feller process** is a particular kind of Markov process.

## Definitions

Let *X* be a locally compact topological space with a countable base. Let *C*_{0}(*X*) denote the space of all real-valued continuous functions on *X* that vanish at infinity, equipped with the sup-norm ||*f* ||.

A **Feller semigroup** on *C*_{0}(*X*) is a collection {*T*_{t}}_{t ≥ 0} of positive linear maps from *C*_{0}(*X*) to itself such that

- ||
*T*_{t}*f*|| ≤ ||*f*|| for all*t*≥ 0 and*f*in*C*_{0}(*X*), i.e., it is a contraction (in the weak sense); - the semigroup property:
*T*_{t + s}=*T*_{t}o*T*_{s}for all*s*,*t*≥ 0; - lim
_{t → 0}||*T*_{t}*f*−*f*|| = 0 for every*f*in*C*_{0}(*X*). Using the semigroup property, this is equivalent to the map*T*_{t}*f*from*t*in [0,∞) to*C*_{0}(*X*) being right continuous for every*f*.

**Warning**: This terminology is not uniform across the literature. In particular, the assumption that *T*_{t} maps *C*_{0}(*X*) into itself is replaced by some authors by the condition that it maps *C*_{b}(*X*), the space of bounded continuous functions, into itself. The reason for this is twofold: first, it allows to include 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.

## Generator

Feller processes (or transition semigroups) can be described by their infinitesimal generator. A function *f* in *C*_{0} is said to be in the domain of the generator if the uniform limit

exists. The operator *A* is the generator of *T _{t}*, and the space of functions on which it is defined is written as

*D*.

_{A}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.

## Resolvent

The **resolvent** of a Feller process (or semigroup) is a collection of maps (*R _{λ}*)

_{λ > 0}from

*C*

_{0}(

*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

*D*of the generator

_{A}*A*, and

## Examples

- Brownian motion and the Poisson process are examples of Feller processes. More generally, every Lévy process is a Feller process.

- Bessel processes are Feller processes.

- Solutions to stochastic differential equations with Lipschitz continuous coefficients are Feller processes.
^{[citation needed]}

- Every Feller process satisfies the strong Markov property.
^{[1]}

## See also

## References

- ↑ Liggett, Thomas Milton
*Continuous-time Markov processes: an introduction*(page 93, Theorem 3.3)^{[full citation needed]}