A boundary regularity theorem for mean curvature flow (Q678806)

Let \(M_0\) be a smooth, compact, embedded hypersurface in \(\mathbb R^{n+1}\) with smooth embedded boundary \(\Gamma ^{n-1}\), and suppose that \(\{F_t:M_0\rightarrow \mathbb R^{n+1}\}_{t\in [0,T)}\) is a family of embeddings which move \(M_0\) by its mean curvature, holding the boundary fixed. The main purpose of this paper is to study the formation of singularities in such a flow, as \(t\rightarrow T\). For this, the author needs to make some further assumptions: Hypothesis A: There is a fixed constant \(C_0\) such that the function \(U(t)\equiv \max _{M_t}|A|^2(p,t)\) satisfies \[ U(t)\leq \frac {C_0}{2(T-t)}. \] Hypothesis B: The boundary \(\Gamma ^{n-1}\subset \mathbb R^{n+1}\) lies on the boundary of some uniformly convex body \(\mathcal N\) and, moreover, \(M_0\subset \bar{\mathcal N}\) (this hypothesis may be weakened as the author remarks). Also the surface \(M_0\) satisfies \(H\geq 0\) everywhere. Then he proves the following boundary regularity result: Suppose hypotheses A and B hold, and suppose that the hypersurfaces \((M_t)_{t\in [0,T)}\) are flowing by mean curvature as was said above. Then there is a fixed neighbourhood (in \(\mathbb R^{n+1}\)) of the boundary, \(\Gamma\), in which all the surfaces \(M_t\) remain smooth, with uniform bounds on \(|A|^2\) and all its derivatives, even as \(t\nearrow T\).