---
title: Feller Processes and Semigroups
url: https://www.emergentmind.com/topics/feller-processes-and-semigroups
type: topic
---

# Feller Processes and Semigroups

A Feller process is a strong Markov process whose transition semigroup acts as a strongly continuous contraction semigroup on the Banach space of real-valued continuous functions vanishing at infinity, denoted \(C_0(E)\) for a locally compact separable metric space \(E\). The associated Feller semigroups, generators, and their analytic and probabilistic properties form the mathematical foundation for a vast array of spatially inhomogeneous Markovian dynamics, with direct connections to stochastic analysis, partial differential equations, functional analysis, and applications in finite and infinite dimensions.

## 1. Classical Definition and Characterization of Feller Semigroups

Let \(E\) be a locally compact separable metric space, and \(C_0(E)\) the Banach space of real-valued continuous functions vanishing at infinity, with \(\|f\|_{\infty} = \sup_{x \in E}|f(x)|\). A family \((T_t)_{t \ge 0}\) of bounded linear operators on \(C_0(E)\) is a **Feller semigroup** if:
- (i) \(T_0 = \mathrm{Id}\), and \(T_{s+t}=T_s T_t\) for all \(s, t \ge 0\),
- (ii) \(\|T_t f\|_\infty \le \|f\|_\infty\) (contractivity),
- (iii) \(T_t\) is positivity-preserving: \(f \ge 0 \implies T_t f \ge 0\),
- (iv) For every \(f \in C_0(E)\), \(\|T_t f - f\|_\infty \to 0\) as \(t \to 0^+\) (strong continuity).

The **infinitesimal generator** \(A\) of \((T_t)\) is defined as:
\[
A f := \lim_{t \to 0} \frac{T_t f - f}{t},
\]
where the domain \(D(A)\) consists of those \(f\) for which the above limit exists in \(C_0(E)\) [1102.3979, 1009.4838]. Generators of Feller semigroups are characterized by the Hille–Yosida theorem: \(A\) generates a Feller semigroup if and only if it is dissipative, preserves the positive cone, and \(\operatorname{Ran}(\lambda I - A) = C_0(E)\) for all \(\lambda > 0\), together with appropriate resolvent bounds [1009.4838].

The **associated Feller process** is a càdlàg Markov process \((X_t)_{t \ge 0}\) with state space \(E\) whose transition operators \(T_t f(x) = \mathbb{E}_x [f(X_t)]\) form a Feller semigroup [1009.4838].

## 2. Feller Resolvents and Equivalence Theorems

Given a Feller semigroup, its resolvent family is defined by
\[
R_\lambda f = \int_0^\infty e^{-\lambda t} T_t f\,dt, \quad \lambda > 0.
\]
A family \((R_\lambda)_{\lambda > 0}\) is called a **Feller resolvent** if it satisfies:
- (a) \( \| \lambda R_\lambda \| \le 1\) for all \(\lambda > 0\),
- (b) \(R_\lambda - R_\mu = (\mu - \lambda) R_\lambda R_\mu\),
- (c) For every \(f \in C_0(E)\), \( \| \lambda R_\lambda f - f \|_\infty \to 0 \) as \(\lambda \to \infty\) [1102.3979].

A comprehensive equivalence theorem establishes that various analytic and pointwise continuity properties—on the semigroup or the resolvent—are all characterizations of the Feller property. For instance, strong continuity in norm may be replaced by pointwise right-continuity plus invariance of \(C_0(E)\) under the semigroup or resolvent [1102.3979].

## 3. Strong Feller Property and Analytic Regularity

The **strong Feller property** strengthens the mapping property of a semigroup: For \(t > 0\), \(T_t\) maps bounded measurable functions (\(B_b(E)\)) into continuous functions (\(C_b(E)\)): \(T_t: B_b(E) \to C_b(E)\) [1006.5286, 2204.02305]. For Markov semigroups on Polish or locally compact spaces,
- Strong Feller \(\implies\) Feller \(\implies\) weak Feller,
but neither implication is reversible in general [2204.02305].

Two characterizations of the strong Feller property are equivalent:
- **Locally uniform absolute continuity**: For each \(t>0\), there is a Radon measure \(\mu_t\) such that for every compact \(K\) and \(\delta \to 0\),
  \[
  \sup_{x \in K} \sup_{A : \mu_t(A) \le \delta} P_t(x,A) \to 0.
  \]
- **Local Orlicz-ultracontractivity**: For each \(t>0\), there are \(\mu_t\) and a Young function \(\Phi_t\) such that for compact \(K\) and \(u \in C_c(\mathbb{R}^d)\),
  \[
  \| P_t u \|_{L^\infty(K)} \le C(K,t) \|u\|_{L^{\Phi_t}(\mu_t)}.
  \]
These conditions are both necessary and sufficient and clarify that the strong Feller property can often be deduced from kernel estimates rather than structural properties of the process [1006.5286].

A key result establishes that under analyticity (sectoriality) of the semigroup on \(L^p(E;m)\), the strong Feller property for the resolvent implies the strong Feller property for the semigroup [2111.02013]. Such analytic semigroups arise for symmetric Dirichlet forms and a broad class of elliptic generators.

## 4. Construction of Feller Processes: Mixtures, Simulation, and Approximation

A central methodology for constructing Feller processes with spatially inhomogeneous dynamics is **state-space-dependent mixing of Lévy processes** [1009.4838]. Given independent Lévy processes \(L^{(i)}\) and bounded Lipschitz mixing functions \(\alpha^{(i)}(x)\), the generator
\[
A f(x) = -\int_\mathbb{R} e^{ix\xi} \psi_x(\xi) \widehat{f}(\xi) d\xi, \quad \psi_x(\xi) = \sum_{i=1}^n \psi^{(i)}(\alpha^{(i)}(x)\xi)
\]
yields a spatially inhomogeneous Feller process. Existence results follow from martingale problem/SDE techniques, pseudo-differential operator theory, and the Hille–Yosida framework [1009.4838].

Numerical simulation is facilitated by an **Euler-type Monte Carlo algorithm**: Given the symbol \(\psi_x\), at each discrete time \(kh\), an increment \(Z\) is drawn from the law with characteristic function \(\exp[-h\psi_x(\xi)]\), and \(X_{(k+1)h} = X_{kh} + Z\). Uniform growth bounds on \(\psi_x(\xi)\) ensure convergence of the discrete process to the true Feller process as \(h \to 0\) [1009.4838].

Examples include:
- Brownian–Poisson–Cauchy mixtures,
- Stable-like processes with variable jump index,
- Variable-coefficient normal inverse Gaussian and Meixner processes,
giving rise to a wide class of analytically tractable, spatially inhomogeneous models [1009.4838].

## 5. Feller Semigroups in Diverse Settings: Manifolds, Time-changes, Generalized Theories

On Riemannian manifolds of bounded geometry, sufficient conditions for second order elliptic operators to generate Feller semigroups are given by the closure of operators of the form
\[
L_0 f(x) = \frac{1}{2} \sum_{k=1}^r A_k(A_k f)(x) + A_0 f(x),
\]
where the vector fields \(A_k\) are smooth and (uniformly) bounded. The associated Feller semigroups can be approximated by Chernoff-type product formulas involving shift operators, leading to convergence of random walks to manifold diffusions [2002.06606].

Generalized Feller theory extends the concept to weighted spaces or infinite-dimensional settings. Here, the Banach space \(BP(E)\) consists of functions controlled at infinity by an admissible weight \(p\), and the semigroup properties are adapted with corresponding continuity and positivity assumptions [2308.03858]. This framework is essential for the analysis of infinite-dimensional stochastic processes (e.g., SPDEs, signature SDEs) and the construction of processes on non locally compact spaces.

For time-changed processes, a "substitute Feller property" describes continuity and invariance conditions on an appropriate subspace \(E \subset C_0(X)\), associated to the fine-support of the time-change measure. This framework provides sufficient conditions for Feller properties and uniform convergence of semigroups for time-changed Markov processes, with applications to Dirichlet-to-Neumann semigroups and Kreĭn-Feller operators [2411.19543].

## 6. Regularity Theory: Schauder Estimates and Harmonic Analysis

Hölder and Schauder estimates for the Poisson equation \(A f = g\), where \(A\) is the infinitesimal generator of a Feller process, underlie the regularity theory for both local and non-local operators. For stable-like Feller processes with variable index \(\alpha(x)\), the associated semigroups admit estimates of the form
\[
\|P_t u\|_{C_b^\kappa} \leq C t^{-\beta} \|u\|_\infty,
\]
with further estimates in variable-order Hölder-Zygmund spaces \(C_b^{\alpha(\cdot)}\) [1902.01760]. The Favard space, defined by finiteness of \(\sup_t t^{-1}\|P_t f - f\|\), coincides with the domain \(D(A_e)\) of the extended generator for which \(A_e f \in L^\infty\) [1902.01760]. Such estimates enable Schauder-type theorems adapted to stable-like or more general pseudo-differential generators.

## 7. Counterexamples and Necessity of Compactness-Type Hypotheses

It is not sufficient to assume strong Feller continuity and joint space-time continuity of a semigroup of Markov kernels to guarantee the existence of an associated càdlàg or right Markov process on the same state space. A prototypical counterexample is the restriction of the Brownian motion semigroup to \(\mathbb{R}\setminus\{0\}\): the semigroup is strong Feller and jointly continuous but cannot arise from any right process on this state space, regardless of the Polish topology imposed [2211.14789].

Such pathologies highlight the necessity of additional compactness, Lyapunov function existence, or quasi-regularity conditions. On locally compact spaces, these are provided by the structure of \(C_0(E)\), the existence of tight Lyapunov functions, or compact containment conditions, ensuring the classic Hunt process correspondence [2211.14789].

## 8. Advanced Topics: Feynman Formulae, Time-fractional Dynamics, and Perturbation Theory

Chernoff product formulas provide Lagrangian and Hamiltonian path integral representations for Feller semigroups and the Cauchy–Dirichlet problem for killed processes. Such Feynman–Kac-type path integral approximations give analytical and simulation tools, including for non-local and time-fractional evolution equations, by representing solutions as limits of iterated integrals [1203.1199, 1708.02503].

Perturbation theory for strong Feller semigroups—using Miyadera-Voigt type results—enables the construction of transition semigroups and analysis of ergodicity, invariant measures, and well-posedness for semilinear stochastic equations in infinite dimensions, provided suitable gradient bounds or irreducibility [1101.2369].

---

The theory of Feller processes and semigroups, including their analytic, probabilistic, and computational aspects, forms a robust, unifying framework for Markovian evolution in both homogeneous and inhomogeneous settings, and underpins much of modern research in stochastic analysis and its applications.

Source: https://www.emergentmind.com/topics/feller-processes-and-semigroups