Skip to main content
2 of 2
edited tags
SnowRabbit
  • 263
  • 1
  • 4

When does an Itô diffusion give a semigroup on $L^2$

I would like a reference for when an Itô diffusion generates a strongly continuous semigroup on $L^2(\mathbb{R}^n)$.

I have a time-homogeneous Itô diffusion of the form

$$dX_t=b(X_t)dt+\sigma(X_t)dB_t$$

Here, $b:\mathbb{R}^n\rightarrow \mathbb{R}^n$ is smooth, and it and all its derivatives are bounded. Similarly $\sigma$ is an $n\times n$ matrix which is smooth and it and all its derivatives are bounded.

$X_t$ gives a semigroup on bounded continuous functions by $T(t)f(x) = \mathbb{E}^x[f(X_t)]$.

What additional conditions do I need (if any) for this to extend to a strongly continuous semigroup on $L^2(\mathbb{R}^n)$? What is a good reference?

If additonal condintions are needed, is Hörmander's usual hypoellipticity condition enough?

I want conditions when the generator is not necessarily self-adjoint. I already understand the self-adjoint setting.

SnowRabbit
  • 263
  • 1
  • 4