On the Willmore Functional and Applications

Similar documents
Minimal Surfaces. December 13, Alex Verzea. MATH 580: Partial Dierential Equations 1. Professor: Gantumur Tsogtgerel

Min-max methods in Geometry. André Neves

Minimal submanifolds: old and new

Lecture III. Curvature Elasticity of Fluid Lipid Membranes. Helfrich s Approach

Contents. Introduction List of notation

Discrete Differential Geometry. Discrete Laplace-Beltrami operator and discrete conformal mappings.

Differential Geometry II Lecture 1: Introduction and Motivation

Toroidal Surfaces. XVII th International Conference Geometry, Integrability and Quantization Varna, Bulgaria. Metin Gürses

THE WILLMORE CONJECTURE

Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary

Constant Mean Curvature Tori in R 3 and S 3

Lipid membranes with free edges

Rigidity and stability of spheres in the Helfrich model

Differential geometry II

Riemann Surface. David Gu. SMI 2012 Course. University of New York at Stony Brook. 1 Department of Computer Science

Min-max theory and the Willmore conjecture Part II

The Willmore Functional: a perturbative approach

DIFFERENTIAL GEOMETRY HW 12

Estimates in surfaces with positive constant Gauss curvature

ON THE GAUSS CURVATURE OF COMPACT SURFACES IN HOMOGENEOUS 3-MANIFOLDS

M435: INTRODUCTION TO DIFFERENTIAL GEOMETRY

Index. Bertrand mate, 89 bijection, 48 bitangent, 69 Bolyai, 339 Bonnet s Formula, 283 bounded, 48

Periodic constant mean curvature surfaces in H 2 R

History (Minimal Dynamics Theorem, Meeks-Perez-Ros 2005, CMC Dynamics Theorem, Meeks-Tinaglia 2008) Giuseppe Tinaglia

Qualifying Exams I, 2014 Spring

Delaunay Surfaces in S 3

The Theorem of Gauß-Bonnet in Complex Analysis 1

Free Boundary Minimal Surfaces in the Unit 3-Ball

How curvature shapes space

Submanifolds of. Total Mean Curvature and. Finite Type. Bang-Yen Chen. Series in Pure Mathematics Volume. Second Edition.

Deutsche Mathematiker-Vereinigung and Springer-Verlag Berlin Heidelberg 2014

Large curvature on open manifolds

Biconservative surfaces in Riemannian manifolds

Topological Bounds of Bending Energy for Lipid Vesicles

8. THE FARY-MILNOR THEOREM

1 Introduction and statements of results

ON THE MEAN CURVATURE FUNCTION FOR COMPACT SURFACES

Stratification of 3 3 Matrices

Spectral Processing. Misha Kazhdan

Classical differential geometry of two-dimensional surfaces

Geometric inequalities for black holes

Jkjcj + C2 - Co)2, (1)

Blow-up Analysis of a Fractional Liouville Equation in dimension 1. Francesca Da Lio

1 First and second variational formulas for area

APPLICATIONS OF ALMGREN-PITTS MIN-MAX THEORY

ON HAMILTONIAN STATIONARY LAGRANGIAN SPHERES IN NON-EINSTEIN KÄHLER SURFACES

EE Technion, Spring then. can be isometrically embedded into can be realized as a Gram matrix of rank, Properties:

The Minimal Element Theorem

MIN-MAX THEORY AND THE WILLMORE CONJECTURE. Contents 1. Introduction 2 2. Main ideas and organization 5

4 dimensional analogues of Dehn s lemma

Geometric variational theory and applications

Euler Characteristic of Two-Dimensional Manifolds

arxiv: v1 [math.dg] 19 Jun 2017

Surfaces in spheres: biharmonic and CMC

Lecture 2. Smooth functions and maps

Spectral applications of metric surgeries

Riemannian Curvature Functionals: Lecture III

QUANTITATIVE RIGIDITY RESULTS FOR CONFORMAL IMMERSIONS

Eigenvalue (mis)behavior on manifolds

arxiv: v1 [math.dg] 24 Sep 2014

Perelman s proof of the Poincaré conjecture

A numerical scheme for axisymmetric solutions of curvature-driven free boundary problems, with applications to the Willmore flow

Constant mean curvature biharmonic surfaces

CS 468. Differential Geometry for Computer Science. Lecture 17 Surface Deformation

Exercise 1 (Formula for connection 1-forms) Using the first structure equation, show that

An extremal eigenvalue problem for surfaces with boundary

612 CLASS LECTURE: HYPERBOLIC GEOMETRY

Journal of Geometry and Symmetry in Physics 24 (2011) 45

Topics in Geometry: Mirror Symmetry

RECENT PROGRESSES IN THE CALABI-YAU PROBLEM FOR MINIMAL SURFACES. Antonio Alarcón

Lecture 2: Isoperimetric methods for the curve-shortening flow and for the Ricci flow on surfaces

MIN-MAX THEORY AND THE WILLMORE CONJECTURE

Integrable Curves and Surfaces

Math 5378, Differential Geometry Solutions to practice questions for Test 2

Geometric Modelling Summer 2016

Constructing compact 8-manifolds with holonomy Spin(7)

The Geometrization Theorem

Bending deformation of quasi-fuchsian groups

II. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES

Geometric Flow Methods for Image Processing

A CHARACTERIZATION OF FOUR-GENUS OF KNOTS

arxiv: v1 [math.gt] 25 Jan 2011

Theorem 2. Let n 0 3 be a given integer. is rigid in the sense of Guillemin, so are all the spaces ḠR n,n, with n n 0.

MINIMIZING PROPERTIES OF CRITICAL POINTS OF QUASI-LOCAL ENERGY

Extremal eigenvalue problems for surfaces

Lectures in Discrete Differential Geometry 2 Surfaces

Gauss Theorem Egregium, Gauss-Bonnet etc. We know that for a simple closed curve in the plane. kds = 2π.

Part IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

Knot Homology from Refined Chern-Simons Theory

Using heat invariants to hear the geometry of orbifolds. Emily Dryden CAMGSD

WARPED PRODUCTS PETER PETERSEN

Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem

WILLMORE TWO-SPHERES IN THE FOUR-SPHERE

Möbius Transformation

Discrete Euclidean Curvature Flows

Minimal surfaces with the area growth of two planes; the case of infinite symmetry

Origin, Development, and Dissemination of Differential Geometry in Mathema

Some Research Themes of Aristide Sanini. 27 giugno 2008 Politecnico di Torino

Transcription:

On the Willmore Functional and Applications Yann Bernard Monash University La Trobe University January 26, 2017

Some History ca. 1740: Leonhard Euler and Daniel Bernoulli study the 1-dim. elastica ca. 1815: Sophie Germain introduces mean curvature ca. 1925: Wilhelm Blaschke tries to tie minimal surfaces and conformal invariance in 1965: Tom Willmore (re)discovers the Willmore functional

A Biological Motivation Production rate: 2.4 10 6 / sec. Total: 25 10 12 = 70% of your cells No nucleus, no organelle, no DNA Size: 7µm diameter and 1µm thick. Heatlhy" red blood cells look like biconcave disks Modelled as droplet of liquid (haemoglobin) within thin plasmic membrane

Membrane is a lipid bilayer Membrane is incompressible (observation): area and volume constant If no shearing/stretching: which force dictates shape? Canham, Evans, Deuling, Helfrich postulate: the elastic energy.

Modeling the Energy Exterior heads have available: L + = (R + δ)θ Interior heads have available: L = (R δ)θ Tails have available: L = Rθ L 0 Energy modeled by elastic energy of a spring with intrinsic stiffness σ (N): E ± = σ 2L 0 (L ± L 0 ) 2 Total energy of membrane element: E = E + + E = σδ 2 L 0 R 2

Sum all infinitesimal contributions to obtain the energy 1 E = µ R dl, µ := 2 σδ2. membrane R at point p is the radius of best-fitting circle tangent to membrane at p.

For a 2-dimensional membrane: ( 1 E = µ + 1 ) 2 ds, [µ] = Joules. R 1 R 2 membrane

Mean curvature : H = 1 2 (κ 1 + κ 2 ) Willmore energy : W (Σ) := Σ H 2 da

Minimizing the Energy Fixing area A and volume V, the energy is: E(Σ) = H 2 da αa(σ) βv (Σ). Many shapes are possible (how many? what are they?) Define the reduced volume: λ := 6 π V A. 3/2 Imposing axial symmetry: Σ Red blood cell: V 100µm 3 and A 140µm 2, so λ 0.64.

However... Not all red blood cells are biconcave disks Model needs to be modified to incorporate various physical effects

Vesicles Small tenuous objects with bilayer membrane of surfactant molecules (e.g. phospholipids). Look like deformed bags (1 to 100 µm). Useful to study emulsions and micro-emulsions, mixtures used in human activity (cooking, painting, oil extraction, cosmetics, drug delivery,...) Unlike red blood cells, vesicles may display non-trivial topology.

Introduction to the Willmore Functional For a closed oriented surface Σ without boundary, the Willmore energy is W (Σ) = H 2 da. Willmore energy invariant under reparametrizations in domain and conformal transformations (translation, rotation, dilation, inversion) in target Σ

Willmore energy appears in various areas of science cell biology : bending energy of elastic membranes (biomembranes, vesicles, smectic A-liquid crystals,...) general relativity : approximates Hawking mass elasticity mechanics : nonlinear plate theory. Γ-limit 3d 2d string theory optical design conformal geometry

An Analogy Let Γ : [0, 1] R 3 be a closed curve with curvature κ. Let the total curvature w(γ) := 1 0 κ(t)dt Theorem [Fenchel, Borsuk] w(γ) 2π with equality if and only if curve is planar and convex. Theorem [Milnor, Fàry] If w(γ) 4π then Γ is unknotted.

Theorem [Willmore, Pinkall] Let Σ be an immersed closed surface. Then W (Σ) 4π and equality holds if and only if Σ is round sphere. Theorem [Li-Yau] Let Σ be an immersed closed surface. If then Σ is embedded. W (Σ) < 8π

Willmore Surfaces Critical points of the Willmore energy are called Willmore surfaces. minimal surfaces : H = 0 with W = 0 CMC surfaces (i.e. H = cst) in general not Willmore composition of minimal immersion and conformal transformation The round sphere S 2. Theorem [Bryant] A compact Willmore surface of genus zero in R 3 is inversion of complete minimal surface with finite total curvature and embedded planar ends.

The Willmore torus T 0, projection onto R 3 of Clifford torus : ( (θ, ϕ) (cos ϕ + 2) cos θ, (cos ϕ + ) 2) sin θ, sin ϕ) energy W (T 0 ) = 2π 2 Theorem [Marques-Neves] Among all immersed tori in R 3, the Willmore torus is the one which minimizes the Willmore energy (up to isometries of S 3 ).

W (Σ) := H 2 da = 1 1 + κ 2 ) Σ 4 Σ(κ 2 = 1 [ (κ1 κ 2 ) 2 ] + 4κ 1 κ 2 4 Σ Gauss-Bonnet theorem : κ Σ 1κ 2 da = 2πχ(Σ) = W (Σ) = 1 (κ 1 κ 2 ) 2 da + 2πχ(Σ) 4 Σ Willmore energy measures sphericity" Gauss equation : 4H 2 2κ 1 κ 2 = d n 2 = W (Σ) = 1 4 Σ d n 2 da + πχ(σ) Willmore energy Dirichlet energy of Gauss map n Also: 2H n = Φ (negative Laplace-Beltrami for induced metric) = W (Σ) = 1 4 Φ 2 da Willmore energy biharmonic energy of immersion Φ Σ

The Willmore Equation Theorem [Shadow, Thomsen, Weiner] A smooth immersion Φ is Willmore if and only if gh + 2H (H 2 K ) = 0, g : Laplacian-Beltrami for induced metric. What kind of questions might an analyst ask? meaning of solution (e.g. weak vs. strong) existence (e.g. with or without constraints, which constraints,...) regularity, singularities,...... compactness

The Willmore Equation in Conservative Reformulation Noether: an invariance in the energy gives rise to a conserved quantity. Theorem [Rivière ( 08), Y.B. ( 14)] Translation: T j := H j n n j H + H 2 j Φ satisfies divt j = 0. Rotation: div ( T j Φ ) + H n j Φ = 0 Dilation: div ( T j Φ ) = 0 Last two divergence-free forms integrate to two potentials S and R An unexpected pleasant surprise: g 1/2 gs = x1 n x2r x2 n x1r ( ) ( g 1/2 gr = x1 n x2r x2 n x1r + x1 n x2 S x2 n x1 S ) ( ) ( ) g 1/2 gφ = x1r x2φ x2r x1φ + x1 S x2φ x2 S x1φ

Theorem [Y.B., T. Rivière, Annals of Math. 14] Σ arbitrary closed 2-dim manifold. Modulo action of Möbius group of R 3, the space of Willmore surfaces satisfying W (Σ) < 8π δ is compact in the C l topology, l N, δ > 0. Proof relies heavily on Noether s theorem applied to invariances of Willmore energy: Willmore equation is truly a 2 2 system rather than a 4 th -order equation.

Open Questions Willmore conjecture in higher codimension? Analogue of the Willmore conjecture for genus 2. Understand the Seifert diagram rigorously Dynamical models Willmore-Plateau problem Replace the Willmore energy for surfaces by H p for p-dimensional Σ Σ