Differential Geometry – Can Covariant Derivative Be Integrated by Parts?

connectionsdifferential-geometryintegrationlie derivativeriemannian-geometry

Let $(M, g)$ be a Riemannian manifold and $X, Y$ vector fields on a compact subset $D$ of $M$ such that $Y$ is divergence free. I would like to show that
$$\int_D g(\nabla_Y X, X) dV = 0 \tag{1}$$
where $\nabla$ is the Levi-Civita connection on $M$ and $dV$ the Riemannian volume form.

In order to show this I am thinking of somehow integrating by parts. I know on a Riemannian manifold there exists the formula
$$\int_Mg(\text{grad}(f), X) dV = -\int_Mf \text{div}(X) dV + \int_{\partial M} fg(X,N) d\tilde{V}$$
for any $f \in C^\infty(M)$ and where $N$ is the outward-pointing unit normal vector field along $\partial M$ and $\tilde{g}$ is the induced Riemannian metric on $\partial M$. Is there a similar formula where instead of the gradient we have the covariant derivative as in (1)?

Alternatively, I know that for any $f \in C^\infty(D)$ we have
$$\int_D L_Yf dV = 0$$
where $L_Y$ is the Lie derivative taken along $Y$. Is the Lie derivative here in anyway related to the integrand in (1)?

Best Answer

Your proposed equality (1) is false, but what we can say is the following. By metric-compatibility of the Levi-Civita connection, undoing the product rule gives \begin{align} g(\nabla_YX,X)&=\nabla_Yf\tag{@}\\ &=\mathcal{L}_Yf, \end{align} where $f:=\frac{1}{2}g(X,X)$. Next, note that \begin{align} (\mathcal{L}_Yf)dV&=\mathcal{L}_Y(f\,dV)-f\mathcal{L}_Y(dV)\\ &=\mathcal{L}_Y(f\,dV)-0\tag{$Y$ divergence-free}\\ &=d(f\,Y\lrcorner\,dV)+0\tag{Cartan’s formula} \end{align} Hence, by Stokes’ theorem, \begin{align} \int_Dg(\nabla_YX,X)\,dV&=\int_Dd\left(f\,Y\lrcorner\,dV\right)=\int_{\partial D}fY\lrcorner\,dV=\int_{\partial D}f\langle Y,N\rangle\,dA, \end{align} where the last equal sign uses equation (*) from here… really it’s just playing around with the definition of the surface area form. Note that this integral doesn’t necessarily vanish.


Another way of saying this, without the language of differential forms, is that from (@), we have by definition of gradient of a function that \begin{align} \nabla_Yf&=\langle\text{grad}(f),Y\rangle\tag{definition}\\ &=\text{div}(fY)-f\,\text{div}(Y)\tag{product rule}\\ &=\text{div}(fY).\tag{$Y$ divergence-free} \end{align} So, integrating over $D$ and using the divergence theorem, we get \begin{align} \int_Dg(\nabla_YX,X)\,dV=\int_{\partial D}f\langle Y,N\rangle\,dA. \end{align} But again, the surface integral on the right is not necessarily $0$, unless you make more assumptions about $Y$ and/or $X$. For example if $X$ has constant norm, so $f$ is constant, then from the beginning, $\nabla_Yf=0$ so its integral is $0$.