So far we have been talking about smooth solutions of mean curvature flow. In order to introduce the concept of weak solutions of the differential equation  1  $\left(\right)$  , we consider an integral version of this equation, which first appeared in [B] . This integral version is stated by Ecker in [E1] as follows: for any smooth solution $(M_t{)}_{t\in (a,b)}$  of mean curvature flow in an open subset $U\in {\mathbf{R}}^{n+1}$  we have:

$$\begin{array}{c}\frac{d}{dt}{\int }_{M_t}\phi ={\int }_{M_t}\vec{H}\cdot D\phi -|\vec{H}{|}^2\phi \end{array}$$

(5)

for all $t\in (a,b)$  and $\phi \in C_0^1\left(U\right)$  . This integral equation can be used as a definition of mean curvature flow since any family of smooth submanifolds satisfying  5  $\left(\right)$  is also a solution of  1  $\left(\right)$  .

The equation  5  $\left(\right)$  is the motivation of Brakke solutions (see [B] ). Brakke defines mean curvature flow for generalized submanifolds (so-called integral varifolds) in the language of geometric measure theory. In short, an $n$  -dimensional varifold in ${\mathbf{R}}^{n+k}$  is a Radon measure on $G_n\left({\mathbf{R}}^{n+k}\right)={\mathbf{R}}^{n+k}\times G(n+k,n)$  , where $G(n+k,n)$  is the Grassmann manifold of $n$  -dimensional planes of ${\mathbf{R}}^{n+k}$  . The definition of integral varifolds is more restrictive, so that it allows to define integrals of functions over varifolds. That way an equation like  5  $\left(\right)$  makes sense for varifolds. One has to allow for sudden local loss of area in this setting so the integral identity  5  $\left(\right)$  has to be replaced by an inequality of the form LHS $\le$  RHS. Moreover, the right-hand side of  5  $\left(\right)$  requires re-interpretation for integral varifolds, i.e., one has to define the mean curvature vector $\vec{H}$  on a varifold. We won't give here details of this construction, which was first done by Brakke in [B] . For our purposes, it is enough to remark that the mean value formula  3  $\left(\right)$  that we use to prove our result can be derived by substituting appropriate test functions into identity  5  $\left(\right)$  . In this case, the identity  3  $\left(\right)$  has to be replaced by an inequality of the form LHS $\ge$  RHS. For the purpose of this paper, this inequality is enough to prove our theorem.

Finally, we close this section with some examples of ancient solutions of mean curvature flow:

Example 1. Minimal submanifolds. As mentioned above, if $M$  is a minimal submanifold of ${\mathbf{R}}^{n+k}$  , then $M_t=M$  for all $t\in \mathbf{R}$  is a solution of the evolution equation  1  $\left(\right)$  defined for all times $t\in (-\infty ,\infty )$  .

Example 2. Shrinking spherical cylinders. Shrinking spherical cylinders are defined by: $$M_t=\partial B_{r\left(t\right)}^{n+1-l}\times {\mathbf{R}}^l$$  for $0\le l\le n$  (the case $l=0$  corresponds to shrinking spheres). For the $n$  -dimensional submanifolds $M_t\subset {\mathbf{R}}^{n+1}$  to satisfy  1  $\left(\right)$  , the radius $r\left(t\right)$  has to be a solution of the ODE: $$r^{\prime }\left(t\right)=-\frac{n-l}{r}.$$  If we fix the radius at time $0$  to be $r\left(0\right)=\rho$  , we obtain: $$r\left(t\right)=\sqrt{{\rho }^2-2(n-l)t}$$  and the solution exists for $t\in (-\infty ,\frac{{\rho }^2}{2(n-l)})$  . For time $t=\frac{{\rho }^2}{2(n-l)}$  it degenerates to the $l$  -dimensional plane $\left\{0\right\}\times {\mathbf{R}}^l\subset {\mathbf{R}}^{n+1}$  , and after that time it disappears.

Example 3. Grim reaper. The grim reaper is a graph solution of MCF, i.e. it has the form $M_t=\text{graph}u(.,t)$  for $u(.,t):\mathbf{R}\to \mathbf{R}$  given by: $$u(p,t)=-logcosp+t,p\in (-\frac{\pi }{2},\frac{\pi }{2}).$$  In this case, $M_t$  is defined and smooth for all times $t\in (-\infty ,\infty )$  , and moves by translation.

Observe that the theorem is not useful for these examples, because here the submanifolds $M_t$  are hypersurfaces of ${\mathbf{R}}^{n+1}$  .

2 Structure of the proof

In this section we state the theorem that will imply our main result, and give a sketch of the proof.

Our main result is a consequence of a theorem that bounds the dimension of certain spaces of functions. Namely, we define the space ${\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  to be the linear space of functions $u:{\mathbf{R}}^{n+k}\times \mathbf{R}\mathbf{⟶}\mathbf{R}$  satisfying

$$\begin{array}{c}\left(\frac{d}{dt}-△\right)u=0\end{array}$$

(6)

and such that $\left|u\right(x,t\left)\right|\le C(1+|x{|}^d)$  for all $(x,t)\in \mathcal{ℳ}$  and for some constant $C<\infty$  (i.e., $u$  has polynomial growth of order at most $d$  ). With this definition, the coordinate functions $x_i$  are in ${\mathcal{\mathscr{H}}}_1(\mathcal{ℳ})$  , because $\frac{d}{dt}{x}_i=\frac{\partial }{\partial t}{x}_i+D{x}_i\cdot \vec{H}={\vec{H}}_i={△}_{M_t}{x}_i$  , where $D$  stands for differentiation in ${\mathbf{R}}^{n+k}$  . The result that gives us the main theorem is the following

Theorem 2. If $\mathcal{ℳ}$  is well-defined in ${\mathbf{R}}^{n+k}\times (-\infty ,0)$  satisfying $$1\le \frac{\mathcal{A}(\mathcal{ℳ}\cap E_r)}{r^n}\le V_{\mathcal{ℳ}}<\infty \forall r>0,$$  then for any $d\ge 1$  , $$dim{\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})\le C{V}_{\mathcal{ℳ}}{d}^{n-1}$$  where $C=(n+1)\frac{n}{n-1}{2}^{5n+12}$  .

To prove this bound on the dimension, we define a family of inner products for functions $u,v$  in L ${}^2$  ( ${\mathbf{R}}^{n+k}\times \mathbf{R}$  ) by:

$$\begin{array}{c}{J}_r(u,v)=\int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}uv\Gamma .\end{array}$$

(7)

Here $r>0$  and $\rho$  is given in terms of $r$  by $\rho \left(r\right)=\sqrt{\frac{2\pi e}{n}}r$  . We also define, for $u\in$  L ${}^2$  ( ${\mathbf{R}}^{n+k}\times \mathbf{R}$  ), the following function of $r$  :

$$\begin{array}{c}{I}_u\left(r\right)=\int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}{u}^2\Gamma .\end{array}$$

(8)

Observe that the function $I_u\left(r\right)$  correspond to the quadratic form associated to $J_r$  , i.e., $I_u\left(r\right)=J_r(u,u)$  . If $u$  has polynomial growth of order at most $d$  , and in particular if $u\in {\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  , then $I_u\left(r\right)\le C(1+r^{2d+n}),\forall r>0$  .

The proof of theorem  2  $$  has then two steps: first, we choose $\Omega =(1-\frac{1}{2d}{)}^{-1}$  . Then, given linearly independent functions on ${\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  , we find a family of $J_r$  -orthonormal functions (where $r={\Omega }^{m+1}$  for a certain integer $m$  ) satisfying $(\frac{d}{dt}-△)v=0$  with a uniform lower bound on $I_v\left({\Omega }^{-1}r\right)$  .

The second step is to reduce the problem to bounding the number of $J_r$  -orthonormal functions as above. To do so, we construct a function $K(x,t)={\sum }_{i=1}^L\left|v_i\right(x,t){|}^2$  , where $v_1,\dots ,v_L$  are orthonormal functions. We give a bound of $I_K\left({\Omega }^{-1}r\right)$  which depends on $\Omega$  but not on $L$  , and using the lower bound of $I_{v_i}\left({\Omega }^{-1}r\right)$  we get a bound on $L$  that depends on $\Omega$  . This bound gives a bound in the number of linearly independent functions with which we started, hence giving a bound on the dimension of ${\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  . The bound turns out to be polynomial in $d$  .

As mentioned above, these ideas (the definition of the functions $J_r,I_u$  and of the “Bergman kernel” $K$  , the steps of the proof ) are inspired by the main theorem proved by Colding and Minicozzi in [CM2] .

3 General constructions

In this section we state and proof some technical lemmas necessary for the proof.

The following lemma is stated and proven in [CM1] . To make things self-contained, we include the proof.

Lemma 3. Suppose that $f_1,\dots ,f_{2s}$  are nonnegative nondecreasing functions on $(0,\infty )$  such that none of the $f_i$  vanishes identically, and for some $d_0,K>0$  and all $i$  : $$f_i\left(r\right)\le K(r^{d_0}+1)\forall r>0.$$  Then for all $\Omega >1$  , there exist $s$  of these functions, $f_{{\alpha }_1},\dots ,f_{{\alpha }_s}$  , and infinitely many integers, $m\ge 1$  , such that for $i=1,\dots ,s$  $$f_{{\alpha }_i}\left({\Omega }^{m+1}\right)\le {\Omega }^{2d_0}{f}_{{\alpha }_i}\left({\Omega }^m\right).$$ 

• Proof. Since the functions are nondecreasing and none of them vanishes identically, we may suppose that for some $R>0$  and any $r\ge R,f_i\left(r\right)>0$  for all $i$  . We will show that there are infinitely many $m$  such that there is some rank $s$  subset of $\left\{f_i\right\}$  (where the subset could vary with $m$  ) satisfying the inequality. This will suffice to prove the lemma, since there are only finitely many rank $s$  subsets of the set $\{f_1,\dots ,f_{2s}\}$  , hence one of these rank $s$  subsets must be repeated infinitely often. For $r>R$  , note that:

  $$\begin{array}{c}g\left(r\right){=}^{2s}{\prod }_{i=1}{f}_i\left(r\right)\le K^{2s}(r^{d_0}+1{)}^{2s}\end{array}$$

  (9)

  and $g$  is a positive nondecreasing function. Assume that there are only finitely may $m\ge \frac{logR}{log\Omega }$  satisfying the inequality for at least $s$  of the functions $f_i$  . Let $m_0-1$  be the largest such $m$  . For all $j\ge 1$  we have that $${\Omega }^{2d_0(s+1)}g\left({\Omega }^{m_0+j-1}\right)<g\left({\Omega }^{m_0+j}\right).$$  Iterating this and applying  9  $\left(\right)$  gives for any $j\ge 1$  $${\Omega }^{2d_0(s+1)j}g\left({\Omega }^{m_0}\right)<g\left({\Omega }^{m_0+j}\right)\le C({\Omega }^j{)}^{2s{d}_0},$$  where $C=C(s,m_0,\Omega ,K,d_0)$  . Since $\Omega >1$  , taking $j$  large yields the contradiction. □

Given a linearly independent set of functions in ${\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  , we will construct functions of one variable which reflect the growth and independence properties of this set. We begin with two definitions:

Definition 4. Suppose that $u_1,\dots ,u_s$  are linearly independent functions on ${\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  . For each $r>0$  we will now define a $J_r$  -orthogonal spanning set $w_{i,r}$  and functions $f_i$  , $i=1,\dots ,s$  . Set $w_{1,r}=u_1$  and $f_1\left(r\right)=I_{w_{1,r}}\left(r\right)$  . Define $w_{i,r}$  by requiring it to be orthogonal to $u_j$  for $j<i$  with respect to the inner product $J_r$  and so that

$$\begin{array}{c}{u}_i={\sum }_{j=1}^{i-1}{\lambda }_{ji}\left(r\right)u_j+w_{i,r}.\end{array}$$

(10)

Note that ${\lambda }_{ji}\left(r\right)$  is not uniquely defined if the $u_i|E_{\rho \left(r\right)}$  are linearly dependent.

However, since the $u_i$  are linearly independent, ${\lambda }_{ji}\left(r\right)$  will be uniquely defined for $r$  sufficiently large. In any case, the following quantity is well-defined for all $r>0$  : $$f_i\left(r\right)=\int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}{w}_{i,r}^2\Gamma =I_{w_{i,r}}\left(r\right).$$ 

In the next lemma, we will record some properties of the functions $f_i$  :

Lemma 5. If $u_1,\dots ,u_s\in {\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  are linearly independent,then there exists a constant $K>0$  (depending on the set $\left\{u_i\right\}$  ) such that for $i=1,\dots ,s$  , the functions $f_i$  defined above verify:

$$\begin{array}{c}{f}_i\left(r\right)\le K(r^{2d+n}+1),\end{array}$$

(11)

$$\begin{array}{c}{f}_i\text{is a nondecreasing function,}\end{array}$$

(12)

$$\begin{array}{c}{f}_i\text{is nonnegative, and positive for}r\text{sufficently large, and}\end{array}$$

(13)

$$\begin{array}{c}{f}_i\left(r\right)=I_{w_{i,r}}\left(r\right)\text{and}{f}_i\left(t\right)\le I_{w_{i,r}}\left(t\right)\text{for}t<r.\end{array}$$

(14)

• Proof. For  11  $\left(\right)$  , we observe that:

  $$\begin{array}{ccc}{f}_i\left(r\right)& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}{w}_{i,r}^2\Gamma \end{array}$$

  $$\begin{array}{ccc}& \le & \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}{w}_{i,r}^2\Gamma +\int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}{\left({\sum }_{j<i}{\lambda }_{j,i}\left(r\right)u_j\right)}^2\Gamma \end{array}$$

  (15)

  $$\begin{array}{ccc}& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}{\left({\sum }_{j<i}{\lambda }_{j,i}\left(r\right)u_j+w_{i,r}\right)}^2\Gamma \end{array}$$

  $$\begin{array}{ccc}& =& I_{u_i}\left(r\right)\le K(r^{2d+n}+1),\end{array}$$

  where the second equality follows from the orthogonality of $w_{i,r}$  and $u_j$  for $j<i$  . Furthermore, for $s<r$  :

  $$\begin{array}{ccc}{f}_i\left(s\right)& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(s\right)}}|u_i-{\sum }_{j=1}^{i-1}{\lambda }_{ji}(s)u_j{|}^2\Gamma =I_{w_{i,s}}(s)\end{array}$$

  $$\begin{array}{ccc}& \le & \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(s\right)}}|u_i-{\sum }_{j=1}^{i-1}{\lambda }_{ji}(r)u_j{|}^2\Gamma =I_{w_{i,r}}(s)\end{array}$$

  (16)

  $$\begin{array}{ccc}& \le & \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(r\right)}}|u_i-{\sum }_{j=1}^{i-1}{\lambda }_{ji}(r)u_j{|}^2\Gamma =I_{w_{i,r}}(r)=f_i(r).\end{array}$$

  Here the first inequality follows from:

  $$\begin{array}{ccc}{I}_{w_{i,r}}\left(s\right)-I_{w_{i,s}}\left(s\right)& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(s\right)}}(w_{i,r}+w_{i,s})(w_{i,r}-w_{i,s})\Gamma \end{array}$$

  $$\begin{array}{ccc}& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(s\right)}}(w_{i,r}+w_{i,s})\left({\sum }_{j<i}\left({\lambda }_{ji}\right(s)-{\lambda }_{ji}(r\left)\right)u_j\right)\Gamma \end{array}$$

  (17)

  $$\begin{array}{ccc}& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(s\right)}}{w}_{i,r}(w_{i,r}-w_{i,s})\Gamma \end{array}$$

  $$\begin{array}{ccc}& =& \int {\int }_{\mathcal{ℳ}\cap E_{\rho \left(s\right)}}(w_{i,r}-w_{i,s}{)}^2\Gamma \ge 0,\end{array}$$

  and the second inequality in  16  $\left(\right)$  follows from the monotonicity of $I_{w_{i,r}}$  . The inequalities in  16  $\left(\right)$  imply  14  $\left(\right)$  , and from them and the linear independence of the $u_i$  , we get  12  $\left(\right)$  and  13  $\left(\right)$  . □

In the next lemma, we apply lemma  3 to the functions $f_i$  :

Lemma 6. Suppose that $u_1,\dots ,u_{2s}\in {\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  are linearly independent. Given $\Omega >1$  and $m_0>0$  , there exist $m\ge m_0$  , an integer $L\ge \frac{1}{2}{\Omega }^{-4d-2n}s$  , and functions $v_1,\dots ,v_L$  in the linear span of the $u_i$  such that for $i,j=1,\dots ,L$  $$J_{{\Omega }^{m+1}}(v_i,v_j)={\delta }_{i,j}$$  and $$\frac{1}{2}{\Omega }^{-4d-2n}\le I_{v_i}\left({\Omega }^m\right).$$ 

• Proof. By lemma  5  $$  , we can apply lemma  3  $$  to the functions $f_i$  in definition  4  $$  with $d_0=2d+n$  .
  Therefore there exist $m\ge m_0$  and a subset $f_{{\alpha }_1},\dots ,f_{{\alpha }_s}$  such that for $i=1,\dots ,s$  :

  $$\begin{array}{c}0<f_{{\alpha }_i}\left({\Omega }^{m+1}\right)\le {\Omega }^{4d+2n}{f}_{{\alpha }_i}\left({\Omega }^m\right).\end{array}$$

  (18)

  Let $w_{{\alpha }_i,{\Omega }^{m+1}},i=1,\dots ,s$  be the corresponding functions in the linear span of the $u_i$  as in definition  4  $$  . Consider the $s$  -dimensional linear space spanned by the functions $w_{{\alpha }_i,{\Omega }^{m+1}}$  with inner product $J_{{\Omega }^{m+1}}$  . On this space there is also the positive semidefinite bilinear form $J_{{\Omega }^m}$  . Let $v_1,\dots ,v_s$  be an orthonormal basis for $J_{{\Omega }^{m+1}}$  which diagonalizes $J_{{\Omega }^m}$  . We will now evaluate the trace of $J_{{\Omega }^m}$  with respect to these two bases. First, with respect to the orthogonal basis $w_{{\alpha }_i,{\Omega }^{m+1}}$  we get, by  18  $\left(\right)$  and  14  $\left(\right)$  : $$s{\Omega }^{-4d-2n}\le {\sum }_{i=1}^s\frac{I_{w_{{\alpha }_i,{\Omega }^{m+1}}}\left({\Omega }^m\right)}{I_{w_{{\alpha }_i,{\Omega }^{m+1}}}\left({\Omega }^{m+1}\right)}.$$  Since the trace is independent of the choice of basis we get when evaluating this on the orthonormal basis $v_i$  : $$s{\Omega }^{-4d-2n}\le {\sum }_{i=1}^s{I}_{v_i}\left({\Omega }^m\right).$$  Combining this with $0\le I_{v_i}\left({\Omega }^m\right)\le I_{v_i}\left({\Omega }^{m+1}\right)=1$  , which follows from the monotonicity of $I$  , we get that there exist at least $l\ge \frac{s}{2}{\Omega }^{-4d-2n}$  of the $v_i$  such that: $$\frac{1}{2}{\Omega }^{-4d-2n}\le I_{v_i}\left({\Omega }^m\right)\le I_{v_i}\left({\Omega }^{m+1}\right)=1.$$  This proves the lemma. □

We have defined the quantity $\mathcal{A}(\mathcal{ℳ}\cap E_r)$  only for the heat-ball $E_r$  , but it can be defined similarly for a general set $C\subset {\mathbf{R}}^{n+k}$  by setting $\mathcal{A}(\mathcal{ℳ}\cap C)=\int {\int }_{\mathcal{ℳ}\cap C}\Gamma$  . We have then the following lemma:

Lemma 7. For $\mathcal{ℳ}$  as in theorem  2  $$  , for all $0<\delta \le \frac{1}{2}$  , there is a $R_0=R_0\left(\delta \right)>0$  with $$\mathcal{A}(\mathcal{ℳ}\cap E_r\backslash E_{(1-\delta )r})\le 2(n+1)\delta \mathcal{A}(\mathcal{ℳ}\cap E_r)\forall r\ge R_0.$$ 

• Proof. The mean value formula gives that $\frac{\mathcal{A}(\mathcal{ℳ}\cap E_r}{r^n}$  is nondecreasing in $r$  , and it is bounded for all $r$  by hypothesis, hence we can define $V_{\mathcal{ℳ}}$  by: $$V_{\mathcal{ℳ}}={lim}_{r\to \infty }\frac{\mathcal{A}(\mathcal{ℳ}\cap E_r)}{r^n}<\infty .$$  This implies that, given $0<\delta \le \frac{1}{2}$  , we can choose $R_0$  so that $\forall R\ge \frac{R_0}{2}$  ,

  $$\begin{array}{c}{V}_{\mathcal{ℳ}}-\frac{\mathcal{A}(\mathcal{ℳ}\cap E_R)}{R^n}<\delta V_{\mathcal{ℳ}}.\end{array}$$

  (19)

  Now, $\forall R\ge R_0$  , apply  19  $\left(\right)$  to $(1-\delta )R\ge R_0/2$  to get: $$\mathcal{A}(\mathcal{ℳ}\cap E_{(1-\delta )R})\ge (1-\delta {)}^{n+1}{R}^n{V}_{\mathcal{ℳ}}.$$  This implies

  $$\begin{array}{ccc}\mathcal{A}(\mathcal{ℳ}\cap E_R\backslash E_{(1-\delta )R})& =& \int {\int }_{\mathcal{ℳ}\cap E_R}\Gamma -\int {\int }_{\mathcal{ℳ}\cap E_{(1-\delta )R}}\Gamma \end{array}$$

  $$\begin{array}{ccc}& \le & V_{\mathcal{ℳ}}{R}^n-(1-\delta {)}^{n+1}{R}^n{V}_{\mathcal{ℳ}}\end{array}$$

  $$\begin{array}{ccc}& \le & 2(n+1)\delta \mathcal{A}(\mathcal{ℳ}\cap E_R).\end{array}$$

  □

4 Proof of finite dimensionality and proof of theorem 2

In this section we prove theorem  2  $$  , which gives theorem  1  $$  as a corollary.

Recall that an ancient solution $\mathcal{ℳ}$  of mean curvature flow is said to be well-defined in ${\mathbf{R}}^{n+k}\times (-\infty ,0)$  if the manifolds $M_t,t\in (-\infty ,0)$  , have no boundary in ${\mathbf{R}}^{n+k}$  and have finite mass ${\mathcal{\mathscr{H}}}^n(M_t\cap B_{2\sqrt{-2nt}})<\infty$  .

The following lemma combined with lemmas  6  $$  and  7  $$  will give the proof of theorem  2  $$  :

Lemma 8. Let $\mathcal{ℳ}$  be well-defined in ${\mathbf{R}}^{n+k}\times (-\infty ,0)$  with density at least $1$  and $${lim}_{r\to \infty }\frac{\mathcal{A}(\mathcal{ℳ}\cap E_r)}{r^n}=V_{\mathcal{ℳ}}<\infty .$$  Suppose $d\ge 1,R_0$  satisfy:

$$\begin{array}{c}\mathcal{A}(\mathcal{ℳ}\cap E_R\backslash E_{(1-\delta )R})\le 2(n+1)\delta \mathcal{A}(\mathcal{ℳ}\cap E_R)\forall \delta \ge \frac{1}{4d},\forall R\ge R_0.\end{array}$$

(20)

Let $0<a<1,r>2R_0$  be fixed, and let $v_1,\dots ,v_L$  be $J_r$  -orthonormal functions satisfying $(\frac{d}{dt}-△)v_i=0$  and so that:

$$\begin{array}{c}a\le I_{v_i}\left(\right(1-\frac{1}{2d}\left)r\right)\forall i=1,\dots ,L.\end{array}$$

(21)

Then: $$L\le C{d}^{n-1},$$  where $C=V_{\mathcal{ℳ}}{2}^{n+1}(n+1)\frac{n}{n-1}{a}^{-1}$  .

• Proof. Because $d\ge 1$  , we can choose an integer $N$  such that $d\le N\le 2d$  . Define the following function on $E_r$  : $$K(x,t)={\sum }_{i=1}^L\left|v_i\right(x,t){|}^2.$$  Observe that $K$  is the trace of the symmetric bilinear form $(u,v)\mapsto <u,v>(x,t)$  for any $u,v$  in the span of the $v_i$  . We can always diagonalize such a bilinear form, therefore, given $(x,t)\in E_r$  , we can choose a new $J_r$  -orthonormal basis $\left\{w_i\right\}$  of span( $v_i$  ) such that $w_i(x,t)=0,\forall i=2,\dots ,L$  . The trace of a matrix is invariant under orthogonal change of basis, hence we have:

  $$\begin{array}{c}K(x,t)={\sum }_{i=1}^L\left|w_i\right(x,t){|}^2=|w_1(x,t){|}^2.\end{array}$$

  (22)

  Now the functions $w_i\in \text{span}\left\{v_i\right\}$  , hence they also satisfy $(\frac{d}{dt}-△)w_i=0$  . This implies $$\left(\frac{d}{dt}-△\right)w_i^2=-2|\nabla w_i{|}^2\le 0.$$  Therefore we can apply the mean value inequality  4  $\left(\right)$  to the functions $w_i^2$  . For $0<s\le 1$  and $(x,t)\in E_{(1-s)r}(0,0)$  , it holds:

  $$\begin{array}{ccc}\left|w_i\right(x,t){|}^2& \le & \frac{1}{s^n{r}^n}\int {\int }_{\mathcal{ℳ}\cap E_{sr}(x,t)}{w}_i^2\Gamma \end{array}$$

  (23)

  $$\begin{array}{ccc}& \le & \frac{1}{s^n}\frac{V_{\mathcal{ℳ}}}{\mathcal{A}(\mathcal{ℳ}\cap E_r(0,0\left)\right)},\end{array}$$

  where in the second inequality we have used that $E_{sr}(x,t)\subset E_r(0,0),J_r(w_i,w_i)=1$  and $\frac{\mathcal{A}(\mathcal{ℳ}\cap E_r(0,0\left)\right)}{r^n}\le V_{\mathcal{ℳ}}$  . Combining  22  $\left(\right)$  and  23  $\left(\right)$  we get, for all $(x,t)\in E_{(1-\frac{j}{2d})r},j=1,\dots ,N$  :

  $$\begin{array}{c}K(x,t)=\left|w_1\right(x,t){|}^2\le V_{\mathcal{ℳ}}{\left(\frac{j}{2d}\right)}^{-n}\frac{1}{\mathcal{A}(\mathcal{ℳ}\cap E_r)}.\end{array}$$

  (24)

  We want to bound the integral of $K\Gamma$  over $E_{(1-\frac{1}{2d})r}$  , so we break it down in two terms:

  $$\begin{array}{c}\int {\int }_{\mathcal{ℳ}\cap E_{(1-\frac{1}{2d})r}}K\Gamma =\int {\int }_{\mathcal{ℳ}\cap E_{(1-\frac{N}{2d})r}}K\Gamma +{\sum }_{j=1}^{N-1}\int {\int }_{\mathcal{ℳ}\cap (E_{(1-\frac{j}{2d})r}\backslash E_{(1-\frac{j+1}{2d})r)}}K\Gamma .\end{array}$$

  (25)

  For the first term of  25  $\left(\right)$  , we observe that $1-\frac{N}{2d}\le \frac{1}{2}$  , therefore we have:

  $$\begin{array}{c}\int {\int }_{\mathcal{ℳ}\cap E_{(1-\frac{N}{2d})r}}K\Gamma \le V_{\mathcal{ℳ}}{\left(\frac{1}{2}\right)}^{-n}\frac{\mathcal{A}(\mathcal{ℳ}\cap E_{\frac{r}{2}})}{\mathcal{A}(\mathcal{ℳ}\cap E_r)}\le V_{\mathcal{ℳ}}{2}^n.\end{array}$$

  (26)

  For the second term, we have:

  $$\begin{array}{ccc}{\sum }_{j=1}^{N-1}\int {\int }_{\mathcal{ℳ}\cap (E_{(1-\frac{j}{2d})r}\backslash E_{(1-\frac{j+1}{2d})r})}K\Gamma & \le & V_{\mathcal{ℳ}}{\sum }_{j=1}^{N-1}{\left(\frac{j}{2d}\right)}^{-n}\frac{\mathcal{A}(\mathcal{ℳ}\cap (E_{(1-\frac{j}{2d})r}\backslash E_{(1-\frac{j+1}{2d})r}\left)\right)}{\mathcal{A}(\mathcal{ℳ}\cap E_r)}\end{array}$$

  $$\begin{array}{ccc}& \le & V_{\mathcal{ℳ}}2(n+1){\left(\frac{1}{2d}\right)}^{-n+1}{\sum }_{j=1}^{N-1}{j}^{-n}\end{array}$$

  (27)

  $$\begin{array}{ccc}& \le & V_{\mathcal{ℳ}}(n+1)\frac{n}{n-1}{2}^n{d}^{n-1},\end{array}$$

  where the second inequality in  27  $\left(\right)$  follows from  20  $\left(\right)$  and the fact that $E_{(1-\frac{j}{2d})r}\subset E_r$  for all $j=1,\dots ,N-1$  , and the third inequality in  27  $\left(\right)$  follows from the elementary fact: $${\sum }_{j=1}^{N-1}{j}^{-n}=1+{\sum }_{j=2}^{N-1}{j}^{-n}\le 1+{\int }_1^{\infty }{s}^{-n}ds=\frac{n}{n-1}.$$  This gives the bound:

  $$\begin{array}{ccc}\int {\int }_{\mathcal{ℳ}\cap E_{(1-\frac{1}{2d})r}}K\Gamma & \le & V_{\mathcal{ℳ}}{2}^n(1+(n+1\left)\frac{n}{n-1}{d}^{n-1}\right)\end{array}$$

  (28)

  $$\begin{array}{ccc}& \le & V_{\mathcal{ℳ}}{2}^{n+1}(n+1)\frac{n}{n-1}{d}^{n-1}.\end{array}$$

  Finally, by  28  $\left(\right)$  and  21  $\left(\right)$  we get:

  $$\begin{array}{ccc}La& \le & {\sum }_{i=1}^L{I}_{v_i}\left(\right(1-\frac{1}{2d}\left)r\right)=\int {\int }_{\mathcal{ℳ}\cap E_{(1-\frac{1}{2d})r}}K\Gamma \end{array}$$

  $$\begin{array}{ccc}& \le & V_{\mathcal{ℳ}}{2}^{n+1}(n+1)\frac{n}{n-1}{d}^{n-1}.\end{array}$$

  □

We are now ready to prove theorem  2  $$  :

• Proof of Theorem 2. Suppose $u_1,\dots ,u_{2s}\in {\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})$  are linearly independent. Set $\Omega =(1-\frac{1}{2d}{)}^{-1}>1$  , and choose $m_0$  such that ${\Omega }^{m_0}\ge R_0$  , where $R_0=R_0\left(\delta \right)$  is chosen as in lemma  7  $$  for $\delta =1/4d$  . Then, if we set $r={\Omega }^{N+1}$  , we have by lemma  6  $$  that there exists an integer $N\ge m_0$  , and $J_r$  -orthonormal functions $w_1,\dots ,w_L\in \text{span}\left(u_i\right)$  such that: $$\frac{1}{2^{2n+5}}\le I_{w_i}\left(\right(1-\frac{1}{2d}\left)r\right)$$  for all $i=1,\dots ,L$  . Here $L$  is an integer with $$L\ge {\Omega }^{-4d-2n}\frac{s}{2}\ge 2^{-2n-5}s,$$  also by lemma  6  $$  . Now we can apply lemma  8  $$  with $a=2^{-2n-5}$  , and we get: $$L\le V_{\mathcal{ℳ}}(n+1)\frac{n}{n-1}{2}^{3n+6}{d}^{n-1}.$$  Now, because $2s\le 2^{2n+6}L$  , we have the desired bound on the dimension: $$dim{\mathcal{\mathscr{H}}}_d(\mathcal{ℳ})\le V_{\mathcal{ℳ}}(n+1)\frac{n}{n-1}{2}^{5n+12}{d}^{n-1}.$$  □

References

1. K. A. Brakke, The Motion of a Surface by its Mean Curvature, Math. Notes Princeton, NJ, Princeton University Press, 1978
2. T.H. Colding and W.P. Minicozzi II, Minimal surfaces, Courant Lecture Notes in Math., v. 4, 1999.
3. T.H. Colding and W.P. Minicozzi II, Liouville theorems for harmonic sections and applications, Communications on Pure and Appied Mathematics 51 (1998), n. 2, 113-138
4. K. Ecker, Regularity Theory for Mean Curvature Flow, Birkhuser, 2004.
5. K. Ecker, A local monotonicity formula for mean curvature flow, Annals of Mathematics 154 (2001), 503-525

Courant Institute of Mathematical Sciences, 251 Mercer Street, New York, NY 10012 E-mail address : calle@cims.nyu.edu