In this lecture we define Riemannian structures and corresponding Laplace–Beltrami operators. We first study Riemannian structures on Rn to avoid technicalities in the presentation of the main ideas and then, in a later lecture, will extend our results to the manifold case.

We start with the following basic definition:

**Definition:** * A Riemannian structure on is a smooth map from to the set of symmetric positive matrices.*

In other words, a Riemannian structure induces at each point an inner product , and the dependence is asked to be smooth.

A natural way to define Riemannian structures, is to start from a family of smooth vector fields such that for every , is a basis of . It is then easily seen that there is a unique Riemannian structure on that makes for , an orthonormal basis.

Conversely, given a Riemannian structure on , it is possible to find smooth vector fields on such that for , an orthonormal basis for this Riemannian structure.

In this course, we shall mainly deal with such a point of view on Riemannian structures and use as much as possible the language of vector fields. This point of view is not restrictive and will allow more easy extensions to the sub-Riemannian case in a later part of the course.

Let us consider a family of smooth vector fields such that for every , is a basis of . Without loss of generality we may assume that Our goal is to associate to this Riemannian structure a canonical diffusion operator.

As a first step, we associate with the vector fields a natural Borel measure which is the measure with density with respect to the Lebesgue measure. This is the so-called Riemannian measure. The diffusion operator we want to consider shall be symmetric with respect to this measure.

**Remark:*** Let be another system of smooth vector fields on such that for every , is an orthonormal basis with respect to the inner product . The systems of vector fields and are related one to each other through an orthogonal mapping. This implies that In other words, the Riemannian measure only depends on the Riemannian structure .*

Due to the fact that for every , is a basis of , we may find smooth functions ‘s on $\mathbb{R}^n$ such that Those functions are called the structure constants of the Riemannian structure. Every relevant geometric quantities may be expressed in terms of these functions. Of course, these functions **depend** on the choice of the vector fields $V_i$’s and thus are not Riemannian invariants, but several combinations of them, like curvature quantities, are Riemannian invariants.

The following proposition expresses the formal adjoint with respect to the Lebesgue measure of the vector field which is seen as an operator acting on the spave of smooth and compactly supported functions.

**Proposition:** *If are smooth and compactly supported functions, then we have where *

**Proof:** Let us denote and We have We now compute . We then observe that

Thus, we obtain

.

With this integration by parts formula in hands we are led to the following natural definition

**Definition:*** The diffusion operator is called the Laplace-Beltrami operator associated with the Riemannian structure . *

The following straightforward properties of are let as an exercise to the reader:

- is an elliptic operator;
- The Riemannian measure is invariant for ;
- The operator is symmetric with respect to .

**Exercise:*** Let be another system of smooth vector fields on such that for every , is an orthonormal basis with respect to the inner product . Show that In other words, the Laplace-Beltrami operator is a Riemannian invariant: It only depends on the Riemannian structure .*