An Introduction to the Mean Curvature Flow

Total Page:16

File Type:pdf, Size:1020Kb

An Introduction to the Mean Curvature Flow AN INTRODUCTION TO THE MEAN CURVATURE FLOW FRANCISCO MART´IN AND JESUS´ PEREZ´ Abstract. The purpose of these notes is to provide an introduc- tion to those who want to learn more about geometric evolution problems for hypersurfaces and especially those related to curva- ture flow. These diffusion problems lead to interesting systems of nonlinear partial differential equations and provide the appropriate mathematical modeling of physical processes. Contents 1. Introduction 2 2. Existence y uniqueness 12 3. Evolution of the Geometry by the Mean Curvature Flow 18 4. A comparison principle for parabolic PDE's 31 5. Graphical submanifolds. Comparison Principle and Consequences 34 6. Area Estimates and Monotonicity Formulas 52 7. Some Remarks About Singularities 72 References 74 Date: July 18, 2014. 1991 Mathematics Subject Classification. Primary 53C44,53C21,53C42. Key words and phrases. Mean curvature flow, singularities, monotonicity for- mula, area estimates, comparison principle. Authors are partially supported by MICINN-FEDER grant no. MTM2011- 22547. 1 2 FRANCISCO MARTIN AND JESUS PEREZ 1. Introduction Mean Curvature Flow is an exciting and already classical mathemati- cal research field. It is situated at the crossroads of several scientific dis- ciplines: Geometric Analysis, Geometric Measure Theory, PDE's The- ory, Differential Topology, Mathematical Physics, Image Processing, Computer-aided Design, among other. The purpose of these notes is to provide an introduction to those who want to learn more about these geometric evolution problems for curves and surfaces and especially curvature flow problems. They lead to interesting systems of nonlinear partial differential equations and provide the appropriate mathematical modeling of physical processes such as material interface propagation, fluid free boundary motion, crystal growth,... In Physics, diffusion is known as a process which equilibrates spatial variations in concentration. If we consider a initial concentration u0 on a domain Ω ⊆ R2 and seek solutions of the linear heat equation @ (1.1) u − ∆u = 0; @t with initial data u0 and natural boundary conditions on @Ω, we obtain 2 a successively smoothed concentrations futgt>0. When Ω = R , the solutions to this parabolic PDE coincides with the convolution of the initial data with the heat kernel (or Gaussian filter) 1 2 2 Φ (x) = e−|xj /σ σ 2πσ with standard deviation sigma, i.e., ut2=2 = Φt ∗ u0 (see Remark 6.18.) In general, derivatives of ut are bounded for t > 0 in terms of bounds on u0. It follows that, even if you start with a heat distribution which is discontinuous, it immediately becomes smooth. Moreover, solutions converge smoothly (in C1) to constants as t ! 1 (eventual simplicity). The heat equation has some surprising properties which carry over to much more general parabolic equations. The Maximum Principle: : At a point where ut attains a max- imum in space (that is, in Ω), the second derivatives in each di- rection are non-positive. By the heat equation, the time deriva- tive is non-positive. It follows that the maximum temperature, umax(t) = supx2Ω u(x; t), does not increase as time passes. Gradient Flow: A further useful property which holds for many but not all heat-type equations is the gradient property: The MEAN CURVATURE FLOW 3 heat equation is the flow of steepest decrease of the Dirichlet Energy: 1 Z E(u) = j(Du)(x)j2dx: 2 Ω Figure 1. A surface moving by mean curvature. If we are interested in the smoothing of perturbed surface geometries, it make sense to think in analogues strategies. So, the source of inspi- ration diffused throughout everything that follows is the classical heat equation (1.1). The geometrical counterpart of the Euclidean Laplace operator ∆ on a smooth surface M 2 ⊂ R3 (or more generally, a hypersurface M n ⊂ n+1 R ) is the Laplace-Beltrami operator, that we will denote as ∆M . 4 FRANCISCO MARTIN AND JESUS PEREZ Thus, we obtain the geometric diffusion equation @ (1.2) x = ∆ x; @t Mt for the coordinates x of the corresponding family of surfaces fMtgt2[0;T ): A classical formula by Weierstraß (see [DHKW92], for instance) says that, given an orientable1 (hyper)surface in Euclidean space, one has: ~ ∆Mt x = H; where H~ means the mean curvature vector. This means that (1.2) can be written as: @ (1.3) x(p; t) = H~ (p; t) @t The mean curvature is known to be the first variation of the area R functional M 7! M dµ (see [DHKW92,CM11,MIP12].) We will obtain for the Area(Ω(t)) of a relatively compact Ω(t) ⊂ Mt that Z d ~ 2 (Area(Ω(t)) = − jHj dµt: dt Ω(t) In other words, we get that the mean curvature flow is the correspond- ing gradient flow for the area functional: The Mean Curvature Flow is the flow of steepest decrease of surface area. Moreover, we also have a nice maximum principle for this particular diffusion equation. Theorem (Maximum/Comparison principle). If two properly immersed hypersurfaces of Rn+1 are initially disjoint, they remain so. Further- more, embedded hypersurfaces remain embedded. In this line of result, we would like to point out that: • If the initial hypersurface M is convex (i.e., all the geodesic cur- vatures are positive, or equivalently M bounds a convex region n+1 of R ), then Mt is convex, for any t. • If M is mean convex (H > 0), then Mt is also mean convex, for any t. 1 Throughout these notes we shall always assume that the hypersurfaces of Rn+1 are orientable. MEAN CURVATURE FLOW 5 Moreover, mean curvature flow has a property which is similar to the eventual simplicity for the solutions of the heat equation. This result was proved by Huisken and asserts: Theorem. Convex, embedded, compact hypersurfaces converge to points p 2 Rn+1: After rescaling to keep the area constant, they converge smoothly to round spheres. There is a rather general procedure for producing heat-like curva- ture flows. In general, we wish to evolve hypersurfaces M n in Rn+1 (or in a complete, Riemannian, (n + 1)-dimensional manifold). Then any (smooth) symmetric function f of n variables, which is monotone increasing in each variable, determines a suitable speed function: F (p; t) := f(k1(p; t); : : : ; kn(p; t)); where ki, i = 1; : : : ; n, represent the principal curvatures of Mt. This yields a general class of curvature flows: @ (1.4) x(p; t) = F (p; t) · ν(p; t); @t where ν(·; t) is the Gauß map of Mt: Some of the most interesting examples are: n X (a) Mean Curvature Flow: f(x1; : : : ; xn) = xi; (F = H): i=1 n !−1 X 1 (b) Harmonic Mean Curvature Flow: f(x ; : : : ; x ) = . 1 n x i=1 i n Y (c) Gauß curvature flow: f(x1; : : : ; xn) = xi; (F = K): i=1 1 (d) Inverse Mean Curvature Flow: f(x1; : : : ; xn) = −Pn ; (F = i=1 xi −H−1): Applications of the mean curvature flow (and its variants: harmonic mean curvature flow, inverse mean curvature flow,...) are numerous and cover various aspects of Mathematics, Physics and Computing. In the following paragraphs we will briefly describe some of these applications, with particular emphasis on two of them. The inverse mean curvature flow was used by Huisken and Ilmanen to prove the Riemann Penrose inequality [HI01]. Similarly, Andrews got an alternative proof of the topological version of the sphere theorem [And94] making use of the harmonic mean curvature flow. 6 FRANCISCO MARTIN AND JESUS PEREZ 1.1. Riemannian Penrose Inequality. The Riemannian Penrose in- equality is a special case of the unsettled Penrose Conjecture. In a seminal paper [Pen73] (see also [Pen82]), in which he proposed the cel- ebrated cosmic censorhip conjecture, R. Penrose also proposed a related inequality, which today is know as \Penrose Inequality". The inequality is derived from cosmic censorship by using a heuristic argu- ment relying on Hawking's Area Theorem [HE73]. Consider a space- time satisfying the so called dominant energy condition (DEC), which contains an asymptotically flat Cauchy surface with ADM mass m (see definition below), and containing an event horizon (roughly, the area of a black hole) of area A = 4πr2, which undergoes gravitational collapse and settles to a Kerr-Newman solution of mass m1 and area radius r1. Physical arguments imply that the ADM mass of the final state m1 is no greater than m (no new mass appear, even though ra- diation may imply some loss of mass), then the area radius r1 is no less than r, and the final state must satisfy 1 m ≥ r : 1 2 1 The evolution of black holes (assuming that it is deterministic, i.e., no naked singularity appears) implies that the area of its event horizon must increase, so it must have been the case that 1 m ≥ r; 2 also at the beginning of the evolution. A counterexample to the Penrose inequality would therefore suggests data which leads under the Einstein evolution to naked singularities, and a proof of the Penrose inequality may be viewed as evidence in support of the cosmic censorship. The event horizon is indiscernible in the original slice without knowing the full evolution, however one may, without disturbing this inequality, replace the event horizon by the (possible smaller) apparent horizon, the boundary of the region admitting trapped surfaces. The inequality is even more simple in the time-symmetric case, in which the apparent horizon coincides with the outermost minimal surface, and the dominant energy condition reduces to the condition of nonnegative scalar curvature. This leads to the Riemannian Penrose inequality: the ADM mass m and the area radius r of the outermost minimal surface in an asymptotically at 3-manifold of nonnegative scalar curvature, satisfy r r A m ≥ = ; 2 16π MEAN CURVATURE FLOW 7 and the equality holds if and only if the manifold is isometric to the canonical slice of the Schwarzschild spacetime.
Recommended publications
  • Arxiv:1805.06667V4 [Math.NA] 26 Jun 2019 Kowloon, Hong Kong E-Mail: [email protected] 2 B
    Version of June 27, 2019 A convergent evolving finite element algorithm for mean curvature flow of closed surfaces Bal´azsKov´acs · Buyang Li · Christian Lubich This paper is dedicated to Gerhard Dziuk on the occasion of his 70th birthday and to Gerhard Huisken on the occasion of his 60th birthday. Abstract A proof of convergence is given for semi- and full discretizations of mean curvature flow of closed two-dimensional surfaces. The numerical method proposed and studied here combines evolving finite elements, whose nodes determine the discrete surface like in Dziuk's method, and linearly implicit backward difference formulae for time integration. The proposed method dif- fers from Dziuk's approach in that it discretizes Huisken's evolution equations for the normal vector and mean curvature and uses these evolving geometric quantities in the velocity law projected to the finite element space. This nu- merical method admits a convergence analysis in the case of finite elements of polynomial degree at least two and backward difference formulae of orders two to five. The error analysis combines stability estimates and consistency esti- mates to yield optimal-order H1-norm error bounds for the computed surface position, velocity, normal vector and mean curvature. The stability analysis is based on the matrix{vector formulation of the finite element method and does not use geometric arguments. The geometry enters only into the consistency estimates. Numerical experiments illustrate and complement the theoretical results. Keywords mean curvature flow · geometric evolution equations · evolving surface finite elements · linearly implicit backward difference formula · stability · convergence analysis Mathematics Subject Classification (2000) 35R01 · 65M60 · 65M15 · 65M12 B.
    [Show full text]
  • Hamilton's Ricci Flow
    The University of Melbourne, Department of Mathematics and Statistics Hamilton's Ricci Flow Nick Sheridan Supervisor: Associate Professor Craig Hodgson Second Reader: Professor Hyam Rubinstein Honours Thesis, November 2006. Abstract The aim of this project is to introduce the basics of Hamilton's Ricci Flow. The Ricci flow is a pde for evolving the metric tensor in a Riemannian manifold to make it \rounder", in the hope that one may draw topological conclusions from the existence of such \round" metrics. Indeed, the Ricci flow has recently been used to prove two very deep theorems in topology, namely the Geometrization and Poincar´eConjectures. We begin with a brief survey of the differential geometry that is needed in the Ricci flow, then proceed to introduce its basic properties and the basic techniques used to understand it, for example, proving existence and uniqueness and bounds on derivatives of curvature under the Ricci flow using the maximum principle. We use these results to prove the \original" Ricci flow theorem { the 1982 theorem of Richard Hamilton that closed 3-manifolds which admit metrics of strictly positive Ricci curvature are diffeomorphic to quotients of the round 3-sphere by finite groups of isometries acting freely. We conclude with a qualitative discussion of the ideas behind the proof of the Geometrization Conjecture using the Ricci flow. Most of the project is based on the book by Chow and Knopf [6], the notes by Peter Topping [28] (which have recently been made into a book, see [29]), the papers of Richard Hamilton (in particular [9]) and the lecture course on Geometric Evolution Equations presented by Ben Andrews at the 2006 ICE-EM Graduate School held at the University of Queensland.
    [Show full text]
  • A Local Regularity Theorem for Mean Curvature Flow
    Annals of Mathematics, 161 (2005), 1487–1519 A local regularity theorem for mean curvature flow By Brian White* Abstract This paper proves curvature bounds for mean curvature flows and other related flows in regions of spacetime where the Gaussian densities are close to 1. Introduction Let Mt with 0 < t < T be a smooth one-parameter family of embed- ded manifolds, not necessarily compact, moving by mean curvature in RN . This paper proves uniform curvature bounds in regions of spacetime where the Gaussian density ratios are close to 1. For instance (see 3.4): § Theorem. There are numbers ε = ε(N) > 0 and C = C(N) < with ∞ the following property. If is a smooth, proper mean curvature flow in an M open subset U of the spacetime RN R and if the Gaussian density ratios of × are bounded above by 1 + ε, then at each spacetime point X = (x, t) of , M M the norm of the second fundamental form of at X is bounded by M C δ(X, U) where δ(X, U) is the infimum of X Y among all points Y = (y, s) U c # − # ∈ with s t. ≤ (The terminology will be explained in 2.) § Another paper [W5] extends the bounds to arbitrary mean curvature flows of integral varifolds. However, that extension seems to require Brakke’s Local Regularity Theorem [B, 6.11], the proof of which is very difficult. The results of this paper are much easier to prove, but nevertheless suffice in many interesting situations. In particular: *The research presented here was partially funded by NSF grants DMS-9803403, DMS- 0104049, DMS-0406209 and by a Guggenheim Foundation Fellowship.
    [Show full text]
  • Mean Curvature Flow Solitons
    S´eminaires & Congr`es 19, 2008, p. 129{158 MEAN CURVATURE FLOW SOLITONS by Norbert Ernst Hungerbuhler¨ & B´eatrice Roost Abstract.— We consider the mean curvature flow Ft : M ! N of hypersurfaces in a Riemannian manifold N. The stationary solutions of this flow are the minimal surfaces in N. Other interesting solutions are those, which move along the integral curves of a smooth vector field X of N. In this way conformal vector fields X give raise to self-similarly shrinking solutions of the mean curvature flow. If X is even parallel then the corresponding solutions of the mean curvature flow are called isometric solitons or just solitons. Soliton solutions have attracted increasing attention in the past years since they are interesting objects for a number of reasons: solitons appear as blow ups of singularities and exhibit interesting geometric and analytic properties. They serve as tailor-made comparison solutions and allow a certain insight into the behaviour of the mean curvature flow viewed as a dynamical system. Résumé (Solitons issus du flot par la courbure moyenne). — Nous consid´erons le flot de la courbure moyenne Ft : M ! N d'hypersurfaces dans une vari´et´eriemannienne N. Les solutions stationnaires de ce flot sont les surfaces minimales dans N. D'autres solu- tions int´eressantes sont celles qui se d´eplacent le long de courbes int´egrales d'un champ de vecteur lisse X dans N. De cette mani`ere les champs de vecteurs conformes X en- gendrent des solutions autosimilaires contractantes du flot de la courbure moyenne. Si X est parall`ele alors les solutions correspondantes au flot de la courbure moyenne sont appel´ees solitons isom´etriques ou juste solitons.
    [Show full text]
  • Monotonicity Formulas for Parabolic Flows on Manifolds
    COMMUNICATIONS IN ANALYSIS AND GEOMETRY Volume 1, Number 1, 127-137, 1993 MONOTONICITY FORMULAS FOR PARABOLIC FLOWS ON MANIFOLDS RICHARD S. HAMILTON Recently Michael Struwe [S] and Gerhard Huisken [Hu2] have independently derived monotonicity formulas for the Harmonic Map heat flow on a Euclidean domain and for the Mean Curvature flow of a hypersurface in Euclidean space. In this paper we show how to generalize these results to the case of flows on a general compact manifold, and we also give the analogous monotonicity for- mula for the Yang-Mills heat flow. The key ingredient is a matrix Harnack estimate for positive solutions to the scalar heat equation given in [H]. In [GrH] the authors show how to use the monotonicity formula to prove that rapidly forming singularities in the Harmonic Map heat flow are asymptotic to homo- thetically shrinking solitons; similar results may be expected in other cases, as Huisken does in [Hu2] for the Mean Curvature flow in Euclidean space. We only obtain strict monotonicity for a special class of metrics, but in general there is an error term which is small enough to give the same effect. (Chen Yummei and Michael Struwe [CS] give a different approach to the error on manifolds.) The special class of metrics are those which are Ricci parallel (so that DiRjk = 0) and have weakly positive sectional curvature (so that RijkiViWjVkWt > 0 for all vectors V and W). This holds for example if M is flat or a sphere or a complex projective space, or a product of such, or a quotient of a product by a finite free group of isometries.
    [Show full text]
  • CHAPTER 6: RICCI FLOW Contents 1. the Hamilton–Perelman Program
    CHAPTER 6: RICCI FLOW DANNY CALEGARI Abstract. These are notes on Ricci Flow on 3-Manifolds after Hamilton and Perelman, which are being transformed into Chapter 6 of a book on 3-Manifolds. These notes are based on a graduate course taught at the University of Chicago in Fall 2019. Contents 1. The Hamilton–Perelman program1 2. Mean curvature flow: a comparison8 3. Curvature evolution and pinching 15 4. Singularities and Limits 33 5. Perelman’s monotone functionals 41 6. The Geometrization Conjecture 54 7. Acknowledgments 61 References 61 1. The Hamilton–Perelman program In this section we give a very informal overview of the Hamilton–Perelman program proving the Poincaré Conjecture and the Geometrization Conjecture for 3-manifolds. 1.1. What is Ricci flow? There’s lots of different ways to answer this question, depending on the point you want to emphasize. There’s no getting around the precision and economy of a formula, but for now let’s see how far we can get with mostly words. First of all, what is curvature? To be differentiable is to have a good linear approximation at each point: the derivative. To be smooth is for successive derivatives to be themselves differentiable; for example, the deviation of a smooth function from its derivative has a good quadratic approximation at each point: the Hessian. A Riemannian manifold is a space which is Euclidean (i.e. flat) to first order. Riemannian manifolds are smooth, so there is a well-defined second order deviation from flatness, and that’s Curvature. In Euclidean space of dimension n a ball of radius r has volume rn times a (dimension dependent) constant.
    [Show full text]
  • The Surgery and Level-Set Approaches to Mean Curvature Flow
    Dissertation ——————————————————————————————————————— The Surgery and Level-Set Approaches to Mean Curvature Flow ——————————————————————————————————————— zur Erlangung des Grades eines Doktors der Naturwissenschaften Fachbereich Mathematik Max-Planck-Institut und Informatik fur¨ Gravitationsphysik Freie Universitat¨ Berlin (Albert-Einstein-Institut) vorgelegt von John Head betreut von Prof. Dr. Gerhard Huisken Mai, 2011 . To my mother Bianca . Tag der m¨undlichen Qualifikation: 21. Juli 2011 1. Gutachter: Prof. Dr. Gerhard Huisken 2. Gutachter: Prof. Dr. Carlo Sinestrari Erkl¨arung Ich best¨atige hiermit, dass ich diese Arbeit selbst¨andig verfasst und keine anderen als die angegebenen Hilfsmittel und Quellen verwendet habe. ——————————————————————————————————————— John Head . Abstract Huisken and Sinestrari [HS3] have recently developed a surgery-based approach to ex- tending smooth mean curvature flow beyond the singular time in the two-convex setting. According to their construction one removes, by hand, the regions of large curvature from the hypersurface before a singularity forms. They showed that the procedure can be con- trolled uniformly across all surgeries by a set of parameters depending just on the initial data. Within this context we discuss estimates on certain Lp-norms of the mean curvature explicitly in terms of the surgery parameters. Our approach leads to new bounds on the required number of surgeries, and we prove as a corollary that the flow with surgeries converges (in an appropriate limit of the surgery parameters) to the well-known weak solution of the level-set flow introduced in [CGG, ES1]. Zusammenfassung Huisken und Sinestrari [HS3] entwickelten vor Kurzem einen auf Chirurgie basierenden Ansatz, um den glatten Fluss entlang der mittleren Kr¨ummung, im “zwei-konvexen” Fall, ¨uber die singul¨areZeit hinaus fortzusetzen.
    [Show full text]
  • Gaussian Mean Curvature Flow
    Gaussian Mean curvature flow Alexander A. Borisenko and Vicente Miquel 1 Introduction The mean curvature flow of an immersion F : M −! M of a hypersurface M in a n + 1 dimensional Riemannian manifold (M; g) looks for solutions of the equation @F = H~ = HN; @t where H is the mean curvature of the immersion, and we have used the following convention signs for the mean curvature H, the Weingarten map A and the second fundamental form (h for the scalar version and α for its tensorial version), for a chosen unit normal vector N, are: AX = −rX N, α(X; Y ) = rX Y; N N = hAX; Y i N, h(X; Y ) = hα(XY );Ni and H = Pn ~ Pn trA = i=1 h(Ei;Ei), H = i=1 α(Ei;Ei) = HN for a local orthonormal frame E1; :::; En of the submanifold, where r denote the Levi-Civita connection on M. A new concept of mean curvature appears in the more general setting of a manifold with density a continuous function f = e : M −! R, which is used to define the volume V (Ω) and the area or perimeter A (Ω) of a measurable set Ω ⊂ M by Z Z V (Ω) = f dvg;A (Ω) = f dag; Ω @Ω where dvg and dag are the volume and the area elements induced by g in the usual way. Gromov ([5]) studied manifolds with densities as \mm-spaces", and mentioned the natural generalization of mean curvature in such spaces obtained by the first variation of the perimeter. According to [5], [6] and [7] it is denoted by H and given (when r has sense) by H = H − r ; N : When working in the setting of a manifold with density, it is then natural to consider mean curvature flows governed by H instead of H.
    [Show full text]
  • Arxiv:1912.09431V3 [Math.DG]
    ENTROPY IN A CLOSED MANIFOLD AND PARTIAL REGULARITY OF MEAN CURVATURE FLOW LIMIT OF SURFACES AO SUN Abstract. Inspired by the idea of Colding-Minicozzi in [CM1], we define (mean curvature flow) entropy for submanifolds in a general ambient Riemannian manifold. In particular, this entropy is equivalent to area growth of a closed submanifold in a closed ambient manifold with non-negative Ricci curvature. Moreover, this entropy is monotone along the mean curvature flow in a closed Riemannian manifold with non-negative sectional curvatures and parallel Ricci curvature. As an application, we show the partial regularity of the limit of mean curvature flow of surfaces in a three dimensional Riemannian manifold with non- negative sectional curvatures and parallel Ricci curvature. 1. Introduction The mean curvature flow entropy, firstly introduced by Colding-Minicozzi [CM1] to study mean curvature flow singularities in Rn, is a very important quantity characterizing all the scales of a submanifold in Rn. In this paper, we follow the idea of Colding-Minicozzi to define the entropy of submanifolds in a general ambient Riemannian manifold. Let us first recall the entropy defined by Colding-Minicozzi. For a m-dimensional sub- manifold M Rn, the entropy λ of M is defined by ⊂ 2 1 |x−x0| − 4t (1.1) λ(M) = sup e 0 dµM . n + m/2 x0∈R ,t0∈R (4πt0) ZM The entropy is monotone along the mean curvature flow of submanifolds by Huisken’s mono- tonicity formula, see [Hu] and [CM1]. Therefore the entropy is an important quantity in the study of mean curvature flow.
    [Show full text]
  • Mean Curvature Flow
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 2, April 2015, Pages 297–333 S 0273-0979(2015)01468-0 Article electronically published on January 13, 2015 MEAN CURVATURE FLOW TOBIAS HOLCK COLDING, WILLIAM P. MINICOZZI II, AND ERIK KJÆR PEDERSEN Abstract. Mean curvature flow is the negative gradient flow of volume, so any hypersurface flows through hypersurfaces in the direction of steepest descent for volume and eventually becomes extinct in finite time. Before it becomes extinct, topological changes can occur as it goes through singularities. If the hypersurface is in general or generic position, then we explain what singulari- ties can occur under the flow, what the flow looks like near these singularities, and what this implies for the structure of the singular set. At the end, we will briefly discuss how one may be able to use the flow in low-dimensional topology. 0. Introduction Imagine that a closed surface in R3 flows in time to decrease its area as rapidly as possible. Convex points will move inward, while concave points move outward, the speed is slower where the surface is flatter. Independently of whether points move inward or outward, the total area will decrease along the flow and eventually go to zero in finite time. In particular, any closed surface becomes extinct in finite time and, thus, the flow can only be continued smoothly for some finite amount of time before singularities occur. Mean curvature flow (MCF) is the negative gradient flow for area. This is a nonlinear partial differential equation for the evolving hypersurface that is formally similar to the ordinary heat equation, with some important differences.
    [Show full text]
  • Curve Shortening Flow
    Durham University Department of Mathematical Sciences Project IV Report Curve Shortening Flow Supervisors: Author: Dr Wilhelm Klingenberg Ed Gallagher Dr Fernando Galaz Garc´ıa May 1, 2020 Plagiarism Declaration This piece of work is a result of my own work except where it forms an assessment based on group project work. In the case of a group project, the work has been prepared in collaboration with other members of the group. Material from the work of others not involved in the project has been acknowledged and quotations and paraphrases suitably indicated. I have produced all the images contained in this piece of work myself using Inkscape, MathMod, and Python. i Acknowledgements My deepest thanks go to my supervisors, Dr Wilhelm Klingenberg and Dr Fer- nando Galaz Garc´ıa,for their guidance, support and advice, about this project as well as in general, over the course of this year. This report is dedicated to my two dogs, Betty and Ralph, and my cat Cat, for helping to keep my spirits up during the long sessions spent typing away at my computer. ii Abstract In this report we give an overview of curve shortening flow and some of its uses. We begin by looking at curve shortening flow in the plane, then move on to study curve shortening flow on surfaces. We discuss the main results concerning curve shortening flow on closed embedded curves and the conditions under which they apply; in particular, we look at the connection between curve shortening flow and geodesics. We also look at applications and further generalisations of curve shortening flow.
    [Show full text]
  • Lectures on Mean Curvature Flow and Related Equations
    Lectures on Mean Curvature Flow and Related Equations Draft Version, recompiled August 1998 Tom Ilmanen Former title: “Some Techniques in Geometric Heat Flow.” These notes were prepared in -T X for the Conference on Partial Differential Equations A S E & ApplicationMs to Geometry, 21 August - 1 September, 1995, ICTP, Trieste. The author was supported in part by an NSF Postdoctoral Fellowship. ii Lecture 1 Our aim in these lectures is to study singularity formation, nonunique- ness, and topological change in motion by mean curvature. The outline is: Lecture 1 - Introduction Lecture 2 - Flows in R3 Lecture 3 - Flows in R3, continued Lecture 4 - Nonuniqueness in Geometric Heat Flows n Let Mt t R be an evolving family of hypersurfaces in R . We say that Mt { } ∈ is moving by mean curvature if it satisfies the nonlinear parabolic equation ∂ (MCF) x = H" (x), x M , t R. ∂t ∈ t ∈ " n 1 Here H(x) is the mean curvature vector of Mt at x, defined to be 1 − λiν, where λi are the principal curvatures, and ν is the unit normal. The! expres- sion ∂x/∂t stands for the normal velocity of the surface. Motion by mean curvature is the gradient flow of the area functional (with respect to the L2 norm on the surface). We have the following formula for the decrease of the area of Mt, d n 1 2 n 1 − (M ) = H d − . dtH t − H "Mt Mean curvature flow arises as a simplified model for various physical pro- cesses in which surface tension plays a role. Since (MCF) is a parabolic equation, it will have a short-term smoothing effect on the surface.
    [Show full text]