Math 2.0

Probability theory and stochastic processes Definition

Infinitesimal generator of a Markov process

Builds on Feller processSemigroupBanach spaceKolmogorov backward equation

Definition

Let EE be a locally compact Hausdorff space with a countable base. Let C0(E)C_0(E) be the Banach space of continuous functions on EE that vanish at infinity, with the sup norm. Let (Xt)t≥0(X_t)_{t \ge 0} be a Feller process on EE with semigroup Ttf(x)=𝔼x[f(Xt)]T_t f(x) = \mathbb{E}_x[f(X_t)]. The infinitesimal generator of XX is the linear operator AA with domain D(A)={f∈C0(E):lim⁡t↓0Ttf−ft exists in C0(E)},D(A) = \set{f \in C_0(E) : \lim_{t \downarrow 0} \frac{T_t f - f}{t} \text{ exists in } C_0(E)}, given by Af=lim⁡t↓0Ttf−ftfor f∈D(A),Af = \lim_{t \downarrow 0} \frac{T_t f - f}{t} \quad \text{for } f \in D(A), where the limit is in the sup norm.

Remarks

Example: for a continuous-time Markov chain on a finite set SS with rate matrix QQ, one has Tt=etQT_t = e^{tQ}, so (Ttf−f)/t→Qf(T_t f - f)/t \to Qf for every ff, and A=QA = Q with D(A)D(A) the whole space. Example: for Brownian motion on ℝd\R^d, every twice continuously differentiable ff with ff, its first and its second derivatives in C0(ℝd)C_0(\R^d) lies in D(A)D(A), and Af=12ΔfAf = \tfrac12 \Delta f. Non-example: for Brownian motion on ℝ\R, the function f(x)=e−x2∣x∣f(x) = e^{-x^2} \abs{x} is in C0(ℝ)C_0(\R) but not in D(A)D(A), since it is not differentiable at 00. For f∈D(A)f \in D(A), Dynkin's formula says that f(Xt)−f(X0)−∫0tAf(Xs) dsf(X_t) - f(X_0) - \int_0^t Af(X_s)\, ds is a martingale. The semigroup satisfies ddtTtf=ATtf=TtAf\frac{d}{dt} T_t f = A T_t f = T_t A f for f∈D(A)f \in D(A), the backward and forward equations.

Reading path

To understand this page from the ground up, read these 5 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Banach space concept
  2. Feller process concept
  3. Kolmogorov backward equation concept
  4. Semigroup concept
  5. Infinitesimal generator of a Markov process definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Infinitesimal_generator_(stochastic_processes)
About this page
TagNAJ9Y60PF6
URIm2://NAJ9Y60PF6
Kinddefinition
WritingW0 stub
MSC60J35, 47D07, 47D06
DefinesInfinitesimal generator of a Markov process
UsesFeller process, Semigroup, Banach space, Kolmogorov backward equation
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.