Carré du champ operator (source code)

= Carré du champ operator
{title2=$\Gamma(f,g)=\tfrac12\bigl(L(fg)-fLg-gLf\bigr)$}
{wiki}

= Carré du champ
{synonym}

For a <Markov process> generator and suitable real functions, this bilinear expression records the local quadratic energy. <Positivity> of $\Gamma(f,f)$ follows by differentiating $P_t(f^2)\geq(P_tf)^2$. For $L=D^2-xD$ it is $f'g'$, giving the <Gaussian Dirichlet energy> after integration against the invariant measure.