 Joint energy of a symmetric Markov semigroup

For functions in the form domain, this symmetric bilinear energy equals $-⟨Lf,g⟩$ when $f$ is in the generator domain. Its finite-time approximation is $(2t{)}^{-1}\int (f(x)-f(y))(g(x)-g(y))\mu (dx)P_t(x,dy)$. The quadratic energy ${\mathcal{E}}_{\mu }(f)={\mathcal{E}}_{\mu }(f,f)$ may take the extended value infinity.

// Target: analysis.bigb