2
$\begingroup$

Consider a Markov process $X_t$ with generator $L$ and invariant distribution $\pi$, whose distribution at time $t$ is given by $\pi(t,dx)=\phi(t,x) \pi(dx)$ - in other word, $\phi(t,x)$ is the density of $\pi(t, dx)$ wiht respect to the invariant distribution $\pi$. Define the (relative) entropy $$ S(t) = -\int \phi(t,x) \ln \phi(t,x) \pi(dx) \leq 0.$$

One can expect (Boltzman H-theorem) the entropy $S$ to increase over time, and eventually to converge to $0$.

question: what conditions should be imposed in order for such a result to be true ?

Fokker-Planck equation shows that for any test function $f$, $$ \int f(x) \partial_t \phi(t,x) \pi(dx) = \int (Lf)(x) \phi(t,x) \pi(dx)$$ so that $$S'(t) = -\int L (\ln \circ \phi)(x,t) \phi(x,t) \pi(dx), $$ but I still do not see why this quantity should be non-negative.

Improve this question
$\endgroup$
0

1 Answer 1

Reset to default
2
$\begingroup$

You can find the relevant calculation here.

Improve this answer
$\endgroup$
1
  • $\begingroup$ thank you very much for the reference. This seems to come from the fact that for a test function f, the following inequality L log(f) >= Lf/f is true. I can see that in the case of diffusions (for example), with generator of the form Lf = mu.f' + sigma^2.f'' but I still do not see why this should be true for a more general generator L. Is it ? $\endgroup$
    – Alekk
    Commented Apr 9, 2010 at 15:06

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .