In the context of synthetic differential geometry, we study the Laplace operator an a Riemannian manifold. The main new aspect is a neighbourhood of the diagonal, smaller than the second neighbourhood usually required as support for second order differential operators. The new neighbourhood has the property that a function is affine on it if and only if it is harmonic.
Theory and Applications of Categories, Vol. 9, 2001, No. 1, pp 1-16 http://www.tac.mta.ca/tac/volumes/9/n1/n1.dvi http://www.tac.mta.ca/tac/volumes/9/n1/n1.ps http://www.tac.mta.ca/tac/volumes/9/n1/n1.pdf ftp://ftp.tac.mta.ca/pub/tac/html/volumes/9/n1/n1.dvi ftp://ftp.tac.mta.ca/pub/tac/html/volumes/9/n1/n1.psTAC Home