In differential geometry, Huisken's monotonicity formula states that, if an n-dimensional surface in (n + 1)-dimensional Euclidean space undergoes the mean curvature flow, then its convolution with an appropriately scaled and time-reversed heat kernel is non-increasing.[1][2] The result is named after Gerhard Huisken, who published it in 1990.[3]
Specifically, the (n + 1)-dimensional time-reversed heat kernel converging to a point x0 at time t0 may be given by the formula[1]
Then Huisken's monotonicity formula gives an explicit expression for the derivative of
where μ is the area element of the evolving surface at time t. The expression involves the negation of another integral, whose integrand is non-negative, so the derivative is non-positive.
Typically, x0 and t0 are chosen as the time and position of a singularity of the evolving surface, and the monotonicity formula can be used to analyze the behavior of the surface as it evolves towards this singularity. In particular, the only surfaces for which the convolution with the heat kernel remains constant rather than decreasing are ones that stay self-similar as they evolve, and the monotonicity formula can be used to classify these surfaces.
Grigori Perelman derived analogous formulas for the Ricci flow.[4][5]
There are also two monotonicity formulas of shrinking or localizing type ... Either of these can be seen as the analogue of Huisken's monotonicity formula for mean curvature flow..