 Dirichlet form of a Markov chain

For a reversible transition matrix $P$ with invariant distribution $\pi$,

This chain energy is a discrete example of a Dirichlet form.