# Integration by parts and Green’s formula on Riemannian manifolds

Let be a compact oriented Riemannian manifold of dimension with boundary . The aim of this note is to define the divergence and Laplacian operators on and to clarify the validy and meaning of various formulas such as integration by parts

or Green’s formula

which are well-known to hold for domains in .

The Laplace operator acting on functions defined over is usually defined by the simple formula

.

Obviously, this definition is no good to define anything on a manifold, so we formulate it in a more geometric way as

.

In a beginning calculus course, this expression is usually understood as some kind of matrix multiplication, and we formally see that it holds. But this equation tells us what the Laplacian really is. Indeed, the divergence of a vector field is a real-valued function that at a point measures the amount of infinitesimal dilation an infinitesimal object placed at would experience if it was to flow infinitesimally along the vector field. This is the geometric interpretation of the Laplacian. On a Riemannian manifold, we can define the gradient of a function by duality via its exterior derivative. Thus we only need a notion of divergence. From our informal discussion, it makes sense to define the divergence of a vector field on an oriented Riemannian manifold as the infinitesimal change of measurement of volumes when the volume form is flowing along , that is we want

where denotes the volume form associated to the metric and the one-parameter group of diffeomorphisms associated to . The right side of this equation is called the Lie derivative of along and is noted . Since the bundle of top forms of an oriented Riemannian manifold is trivialised by , i.e. every top form is of the form for a unique function , we actually get a well-defined function by the relation

,

given of course that there actually is a volume form, i.e. that our manifold is orientable. We thus define the Laplacian acting on smooth functions as where is the gradient of , caracterized by the relation

.

The only thing that remains undefined is the normal vector field . It is not hard to check that if all the transition functions of some atlas on have positive Jacobian determinants, then their restriction to the boundary also have positive Jacobian determinants, enough so that the boundary is also orientable. Supposing without loss of generality that all charts containing a point of the boundary have their image lying in only one half-space of , say , we can define a notion of “inward-pointing vector” tangent to the boundary. Indeed, at a point of the boundary, a tangent vector in will be called “inward-pointing” if its image in any chart is contained in the half-space . At each point of the boundary, we decompose orthogonally with the metric, and we define the normal unit inward-pointing vector field as the unit vector field lying in the second component of this decomposition that is everywhere inward-pointing. Note that this gives a canonical volume form on the boundary, given by where is the interior product.

Before we start to state and prove theorems, let’s recall Cartan’s formula which says that for every vector field and differential form ,

.

This identity tells us that because the volume form is of course closed. This will be useful when paired with Stoke’s theorem, which says that for all forms of degree on ,

where is the inclusion. We can now prove the generalization of Gauss’s divergence theorem:

Theorem 1:With the notation introduced above,for all vector fields .

**Proof: **By Cartan’s formula and Stoke’s theorem, we get

.

But if is an orthonormal basis of for , then we see that

is equal to

because and for all . Thus at all points of the boundary we have the equality

.

We can now conclude from the first equation in the proof.

QED

Recall that the integration by parts formula for functions follows from Leibniz rule and from the fundamental theorem of calculus:

.

To get the generalized version for oriented Riemannian manifolds, we need to establish the following Leibniz rule for the divergence operator:

Lemma:For all functions and vector fields ,.

**Proof: **This again follows from Cartan’ identity. Indeed, by the very definition of the interior product, we get that for any differential form so we get

.

But by the usual Leibniz rule for the exterior derivative, this is equal to

hence

so it suffices to see that . We proceed as in theorem 1. Let be an orthonormal basis of at some point . Then

which is equal to

.

This shows that

but is precisely .

QED

Coupled with the divergence theorem, this immediately yields the

Theorem:For all vector fields and smooth functions , there is an integration by parts formula.

Note that for a closed Riemannian manifold, with , this shows that

i.e. that minus the divergence operator is kind of a formal adjoint to the gradient operator. The so-called Green formulas are a simple application of integration by parts. Recall that the Laplacian of a smooth function is defined as and that is the inward-pointing vector field on the boundary. We will denote by .

Theorem: (Green formulas)For any two functions ,and hence

.

**Proof:** Integrating by parts, we get

hence the first formula. The second evidently follows from the first.

QED

As an immediate application, we can show the

Proposition:Consider the equation on a compact Riemannian manifold with boundary subject to either Dirichlet (i.e. ) or Neumann (i.e. ) boundary conditions. Then if a smooth solution exists, it is unique in the case of Dirichlet conditions and unique up to a constant in the case of Newmann conditions.

**Proof:** Consider two solutions and to the problem and consider their difference . Then since , it follows that . Integrating by parts, we thus find

so if either the Dirichlet or Neumann boundary conditions are satisfied, the integral on the right vanishes and we deduce that is a constant, i.e. that . In the case of Dirichlet boundary conditions, the function has to vanish on the boundary hence everywhere, so .

QED

In the same vein, if is a harmonic function on a closed Riemannian manifold (i.e. and ), then so the only harmonic functions on a closed Riemannian manifold are the constants.

From now on, let us denote by and by . Another immediate application of integration by parts yield results about the spectrum of :

Proposition:Let be a closed Riemannian manifold. Then (with our definition), the eigenvalues of the Laplacian are non-positive. Moreover, eigenfunctions corresponding to different eigenvalues are orthogonal for the inner product.

**Proof: **For the first assertion, suppose . Then integrating by parts gives

.

The second assertion follows from Green’s formula since if the eigenfunctions and correpond to eigenvalues and , then

.

QED

This last proposition is not surprising in view of the fact that integrating by parts actually shows that is formally self-adjoint with respect to the inner product on a closed manifold. Indeed, in this context Green’s formula reads The first assertion of this proposition is the reason why geometers often define the Laplacian as , in order to get a positive spectrum. Finally, from the first equation of the proof, we see that eigenvalues of (minus) the Laplacian satisfy

with is their associated eigenfunctions, which one could recognize as a renormalized Dirichlet energy functional. With this point of view, the variational min/max principle which says that the ‘st eigenvalue is given by the infimum of that functional over the functions orthogonal to the eigenfunctions associated to the first eigenvalues makes plenty of sense. This min/max principle in turn explains the link between the first eigenvalue of the Laplacian and the important Poincaré’s inequality, which says that for some constant , all smooth functions integrating to (i.e. orthogonal to the constants) satisfy

,

the optimal constant being exactly , attained by the first eigenfunctions of the Laplacian.