Joint energy of a symmetric Markov semigroup (source code)

= Joint energy of a symmetric Markov semigroup
{title2=$\mathcal E_\mu(f,g)=\lim_{t\downarrow0}t^{-1}\langle f-P_tf,g\rangle$}

= Joint energy
{synonym}

For functions in the form domain, this symmetric bilinear energy equals $-\langle Lf,g\rangle$ 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