Abstract. Monotonicity formulae play a crucial role for many geometric PDEs, especially for their regularity theories. For minimal submanifolds in a Euclidean ball, the classical monotonicity formula implies that if such a submanifold passes through the centre of the ball, then its area is at least that of the equatorial disk. Recently Brendle and Hung proved a sharp area bound for minimal submanifolds when the prescribed point is not the centre of the ball, which resolved a conjecture of Alexander, Hoffman and Osserman. Their proof involves asymptotic analysis of an ingeniously chosen vector field, and the divergence theorem.In this article we prove a sharp 'moving-centre' monotonicity formula for minimal submanifolds, which implies the aforementioned area bound. We also describe similar movingcentre monotonicity formulae for stationary p-harmonic maps, mean curvature flow and the harmonic map heat flow.
IntroductionFor many geometric partial differential equations, monotonicity formulae play an essential role and their discovery often leads to deep and fundamental results for those systems. Monotonicity is a particularly useful tool in the study of variational problems, and for regularity theory (see for example [3,5,11,14,13,24,27] and references therein). These formulae often control the evolution of energy-type quantities with respect to changes in scale, or time.An important example is the classical monotonicity formula for minimal submanifoldscritical points of the area functional -which states:Proposition 0.1. Let Σ k be a minimal submanifold in R n . Then so long as ∂Σ ∩ B n r = ∅, we haveHere B n r = B n (0, r) denotes the Euclidean ball of radius r about the origin in R n . Thus the area ratio r −k |Σ ∩ B n r | is monotone on balls with fixed centre, and so comparing to the limiting density as r ց 0 yields that any minimal submanifold Σ k ⊂ B n r with ∂Σ ⊂ ∂B n r , which passes through the origin, satisfies the sharp area bound In the case that the minimal submanifold Σ k ⊂ B n r does not necessarily pass through the centre of the ball, Alexander, Hoffman and Osserman [1] conjectured (see also [20]) the following sharp area bound, which has recently been proven in full generality by Brendle and Hung [7] (see also Corollary 1.5). Alexander and Osserman had previously proven the conjecture only in the case of simply connected surfaces [2].
Theorem 0.2 ([7]). Let Σ k be a minimal submanifold in the ball B n r with ∂Σ ⊂ ∂B n r . Thenis the distance from Σ to the centre of the ball.The proof of Theorem 0.2 by Brendle-Hung involves the choice of a clever, but somewhat geometrically mysterious, vector field W . They apply the divergence theorem to W away from small balls B ǫ (y), where y ∈ Σ ∩ B r , and obtain the estimate in the limit as ǫ → 0.In this paper, we show that the area bound (0.3) in fact arises from a sharp 'moving-centre' monotonicity formula, in which the centres of the extrinsic balls are allowed to move, and the scale is adjusted in a particular manner:denote the ball with centre (1 − s)y a...