We consider a regularization method for mean curvature flow of a submanifold of arbitrary codimension in the Euclidean space,through higher order equations. We prove that the regularized problems converge to the mean curvature flow for all times before the first singularity.

The weak mean curvature is lower semicontinuous under weak convergence of varifolds, that is, if ¹k ! ¹ weakly as varifolds then k ~H¹ kLp(¹)· lim infk!1 k ~H¹k kLp(¹k). In contrast, if Tk ! T weakly as integral currents, then ¹T may not have a locally bounded ¯rst variation even if k ~H¹Tk kL1(¹k) is bounded. In 1999, Luigi Ambrosio asked the question whether lower semi- continuity of the weak mean curvature is true when T is assumed to be smooth. This was proved in [AmMa03] for p > n = dim T in Rn+1 using results from [Sch04]. Here we prove this in any dimension and codimension down to the desired exponent p = 2. For p = n = 2, this corresponds to the Willmore functional. In a forthcoming joint work [RoSch06], main steps of the pre- sent article are used to prove a modi¯ed conjecture of De Giorgi that the sum of the area and the Willmore functional is the ¡-limit of a di®use Landau-Ginzburg approximation.

We consider manifolds with conic singularities that are isometric to Rn outside a compact set. Under natural geometric assumptions on the cone points, we prove the existence of a logarithmic resonance-free region for the cut-off resolvent. The estimate also applies to the exterior domains of non-trapping polygons via a doubling process. The proof of the resolvent estimate relies on the propagation of singularities theorems of Melrose and the second author [23] to establish a “very weak” Huygens’ principle, which may be of independent interest. As applications of the estimate, we obtain a exponential local energy decay and a resonance wave expansion in odd dimensions, as well as a lossless local smoothing estimate for the Schr¨odinger equation.

Let M⊂CN be a generic real-analytic submanifold of finite type, M′⊂CN′ be a real-analytic set, and p∈M, where we assume that N,N′⩾2. Let H:(CN,p)→CN′ be a formal holomorphic mapping sending M into M′, and let EM′ denote the set of points in M′ through which there passes a complex-analytic subvariety of positive dimension contained in M′. We show that, if H does not send M into EM′, then H must be convergent. As a consequence, we derive the convergence of all formal holomorphic mappings when M′ does not contain any complex-analytic subvariety of positive dimension, answering by this a long-standing open question in the field. More generally, we establish necessary conditions for the existence of divergent formal maps, even when the target real-analytic set is foliated by complex-analytic subvarieties, allowing us to settle additional convergence problems such as e.g. for transversal formal maps between Levi-non-degenerate hypersurfaces and for formal maps with range in the tube over the light cone.

No abstract uploaded!