Intuition for mean curvature

Do this experiment: draw a curve in 2D and about some point on that curve, draw a unit normal vector field. Now convince yourself that if you push the curve out along the normal field by a distance $\epsilon$, the length changes by a factor of $1+\epsilon\kappa$ where $\kappa$ is the curvature.

SteinerMinkowskiproof-fig1

Now consider a 2D surface in 3D. Choose local coordinates so that the first two basis vectors are tangent to the surface and the curvatures along the first two coordinates are the principal curvatures. The infinitesimal change in surface area is $(1+\epsilon\kappa_1)(1+\epsilon\kappa_2)$ -- actually this product is the Jacobian of the normal map, $N_\epsilon$ that pushes the surface out along the normal field a distance epsilon.

      area_change.png

In general, for co-dimension one surfaces, the Jacobain of the normal map $N_\epsilon$ is $\Pi_{i=1}^{n-1} (1+\epsilon\kappa_i)$. We can integrate this over the original surface to get the new, n-1 volume of the pushed surface. That is:

$\mathcal{H}^{n-1}(N_\epsilon(W)) = \int_{W} \Pi_{i=1}^{n-1} (1 + \epsilon\kappa_i) d\mathcal{H}^{n-1}$

$ \hspace{1in} = \int_{W} 1 d\mathcal{H}^{n-1} + \epsilon \int_{W} \sum_i \kappa_i d\mathcal{H}^{n-1} + ... + \epsilon^k \int_{W} \sum_{s\in S(k)}\Pi_{i\in s}\kappa_i d\mathcal{H}^{n-1}$

$ \hspace{1.2in} + ... + \epsilon^{n-1} \int_{\partial W} \Pi_{i=1}^{n-1} \kappa_i d\mathcal{H}^{n-1}$

Now we note that the first order term is the integral of the mean curvature. That is, to first order, the change in surface volume is given by the mean curvature. Note that I am using the term mean curvature for what is sometimes called total mean curvature, $\sum_{i=1}^{n-1} \kappa_i$.

(This works in co-dimension $k>1$, but then, because the set of normal directions at any point is $k$-dimensional, it is a bit more involved to get a result that looks like the result here.)


It gives you a normal field along the hyper surface which describes how you should move the surface to shrink the induced surface volume form. This works also for higher codimension.

EDIT: An explicit formula which generalized the answer of Otis Chodosh is the following:

Let $(N,\bar g)$ be a Riemannian manifold and let $M$ be a compact manifold with $\dim(M)<\dim(N)$. Let $f(t,\quad)\in Imm(M,N)$ be a smooth curve of immersions, then $f_t = \partial_t|_0 f\in \Gamma(f^*TN)$ splits into parts $f_t=Tf.f_t^\top + f_t^\bot$ tangent and normal to $M$. Let also '$g=f^\star\bar g$ be the induced metric. Then the variation of the mapping $$ Imm(M,N) \to \Gamma(vol(M)),\qquad f \mapsto vol(g)=vol(f^*\bar g) $$ is given by $$ \partial_t|_0\, vol\Big(f(t,\quad)^\star\bar g\Big) = Tr^g\big(\bar g(\nabla f_t,Tf)\big) vol(g)= \Big({div}^{g}(f_t^{\top})-\bar g\big(f_t^{\bot},Tr^g(S)\big)\Big) vol(g). $$ Here $S$ is the second fundamental form $S\in\Gamma(L^2_{sym}(TM;TM^\bot)$. So if the variation field $f_t$ is always normal to $f(M)$, the first summand vanishes.

For a proof see 5.7 in: Martin Bauer, Philipp Harms, Peter W. Michor: Sobolev metrics on shape space of surfaces. Journal of Geometric Mechanics 3, 4 (2011), 389-438. (pdf)


First, rather than viewing the mean curvature as "the trace of the second fundamental form," it might be more intuitive to view it as the average of the principle curvatures, i.e., $$H = \frac{1}{n} \sum_{i=1}^n \kappa_i \;.$$

Second, it may be that the following view of minimal surfaces (those of mean curvature zero) from D. Hoffman and W. H. Meeks III, in their paper, "Minimal surfaces based on the catenoid" [Amer. Math. Monthly 97(8) (1990), 702-730] (ACM link), might help:

“Loosely speaking, one imagines the surface as made up of very many rubber bands, stretched out in all directions; on a minimal surface the forces due to the rubber bands balance out, and the surface does not need to move to reduce tension.”

You can see this accords with Peter Michor's more abstract formulation.