Startseite Weak solutions of inverse mean curvature flow for hypersurfaces with boundary
Artikel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

Weak solutions of inverse mean curvature flow for hypersurfaces with boundary

  • Thomas Marquardt EMAIL logo
Veröffentlicht/Copyright: 20. Januar 2015
Veröffentlichen auch Sie bei De Gruyter Brill
Informationen für Autor*innen Erkunden Sie dieses Fachgebiet
Journal für die reine und angewandte Mathematik (Crelles Journal)
Aus der Zeitschrift Journal für die reine und angewandte Mathematik (Crelles Journal) Band 2017 Heft 728

Abstract

We consider the evolution of hypersurfaces with boundary under inverse mean curvature flow. The boundary condition is of Neumann type, i.e. the evolving hypersurface moves along, but stays perpendicular to, a fixed supporting hypersurface. In this setup, we prove existence and uniqueness of weak solutions. Furthermore, we indicate the existence of a monotone quantity which is the analog of the Hawking mass for closed hypersurfaces.

Funding statement: This work was mainly supported by the Max Planck Institute for Gravitational Physics in Potsdam. The manuscript was prepared while the author was at ETH in Zurich where he received support from the Swiss National Science Foundation SNF 200021-140467.

A Linear mixed Dirichlet–Neumann problems

Definition A.1.

Let Ω⊂ℝn be a bounded Lipschitz domain. We denote by Σ a relatively open part of ∂⁡Ω and write σ=∂⁡Ω∖Σ¯. Let μ be the outward pointing unit normal to Ω on Σ. We consider the following mixed Dirichlet–Neumann boundary value problem:

(A.1){L⁢u:=ai⁢j⁢Di⁢j⁢u+bk⁢Dk⁢u=fin ⁢Ω,μk⁢Dk⁢u=0on ⁢Σ,u=von ⁢σ¯,

where L is assumed to be uniformly elliptic and Σ,σ are supposed to be subsets of C2,α-hypersurfaces. Since the domain might have corners, we introduce weighted Hölder spaces to allow for less regular solutions. For δ>0 sufficiently small we define

Ωδ:={x∈Ω∣dist⁡(x,∂⁡Ω∖Σ)>δ}.

Using the classical Hölder norms ∥⋅∥k,α;Ω¯ as they appear in [17] we define

∥u∥k,α;Ω(b):=supδ>0⁡δb+k+α⁢∥u∥k,α;Ωδ¯,Hk,α(b)⁢(Ω):={u∣∥u∥k,α;Ω(b)<∞}

for k∈ℕ,α∈(0,1) and b>-k-α.

These norms have the following useful properties.

Lemma A.2.

Let k1,k2,k,l∈N and α,β∈(0,1). If k+α≥l+β, then

Hk,α(-l-β)⁢(Ω)⊂Cl,β⁢(Ω¯)∩Ck,α⁢(Ω).

Let k1+α≥b>0. If (un)n∈N⊂Hk1,α(-b)⁢(Ω) is bounded, then there is a subsequence (unk)k∈N such that

unk→Hk2,β(-b′)⁢(Ω)u (k→∞)

for 0<b′<b, 0<k2+β<k1+α and k2+β≥b′.

Proof.

See [18, Section 1] and the introduction of [19]. ∎

Now we can state the existence and regularity result for mixed elliptic boundary value problems which is due to Lieberman [20, 21].

Theorem A.3.

Let Σ,σ be subsets of C2,α-hypersurfaces. Let Ω⊂Rn be a bounded Lipschitz domain with boundary ∂⁡Ω=σ¯∪Σ¯ where σ and Σ are relatively open in ∂⁡Ω. Assume that ai⁢j is uniformly continuous in Ω and that L is uniformly elliptic. Furthermore, assume that for all x∈V:=σ¯∩Σ¯ the boundary parts σ and Σ enclose the domain at an angle 0<θ⁢(x)≤θmax<π2. Then there exists some β⁢(θmax)∈(0,1) such that if

ai⁢j∈H0,α(0)⁢(Ω),bi∈H0,α(1-β)⁢(Ω),f∈H0,α(1-β)⁢(Ω),v∈C1,β⁢(Ω¯),

then there exists a unique solution u∈C0⁢(Ω¯)∩C2⁢(Ω∪Σ) of (A.1). Furthermore, each such solution of (A.1) satisfies the estimate

∥u∥2,α;Ω(-1-β)≤C⁢(∥f∥0,α;Ω(1-β)+∥v∥1,β;Ω¯).

Proof.

The existence and uniqueness result can be found in [20, Theorem 2]. The regularity result is a variant of [21, Theorem 4]. It relies on a modification of the height estimate [21, Lemma 3.3]. This modification is necessary in order to match with the definition of the weighted norm which is used in [20]. ∎

Acknowledgements

The author wants to thank Gerhard Huisken for acquainting him with inverse mean curvature flow and for all the support and valuable discussions during the time the author spent at the Max Planck Institute for Gravitational Physics in Potsdam.

References

[1] R. Bassanezi and I. Tamanini, Subsolutions to the least area problem and the minimal hull of a bounded set in ℝn, Ann. Univ. Ferrara Sez. VII Sci. Mat. 30 (1984), 27–40. 10.1007/BF02853267Suche in Google Scholar

[2] H. L. Bray, Proof of the Riemannian Penrose inequality using the positive mass theorem, J. Differential Geom. 59 (2001), no. 2, 177–267. 10.4310/jdg/1090349428Suche in Google Scholar

[3] J. A. Buckland, Mean curvature flow with free boundary on smooth hypersurfaces, Ph.D. thesis, Monash University, 2003. Suche in Google Scholar

[4] C. Gerhardt, Flow of nonconvex hypersurfaces into spheres, J. Differential Geom. 32 (1990), no. 1, 299–314. 10.4310/jdg/1214445048Suche in Google Scholar

[5] R. Geroch, Energy extraction, Ann. New York Acad. Sci. 224 (1973), 108–117. 10.1111/j.1749-6632.1973.tb41445.xSuche in Google Scholar

[6] D. Gilbarg and N. S. Trudinger, Elliptic partial differential equations of second order, Classics Math., Springer, New York 2001. 10.1007/978-3-642-61798-0Suche in Google Scholar

[7] M. Grüter, Boundary regularity for solutions of a partitioning problem, Arch. Ration. Mech. Anal. 97 (1987), no. 3, 261–270. 10.1007/BF00250810Suche in Google Scholar

[8] M. Grüter, Optimal regularity for codimension one minimal surfaces with a free boundary, Manuscripta Math. 58 (1987), 295–343. 10.1007/BF01165891Suche in Google Scholar

[9] M. Grüter and J. Jost, Allard type regularity results for varifolds with free boundaries, Ann. Sc. Norm. Super. Pisa Cl. Sci. (4) 13 (1986), no. 1, 129–169. Suche in Google Scholar

[10] B. Hein, A homotopy approach to solving the inverse mean curvature flow, Calc. Var. Partial Differential Equations 28 (2007), no. 2, 249–273. 10.1007/s00526-006-0050-0Suche in Google Scholar

[11] G. Huisken and T. Ilmanen, The inverse mean curvature flow and the Riemannian Penrose inequality, J. Differential Geom. 59 (2001), 353–437. 10.4310/jdg/1090349447Suche in Google Scholar

[12] G. Huisken and T. Ilmanen, Higher regularity of the inverse mean curvature flow, J. Differential Geom. 80 (2008), 433–451. 10.4310/jdg/1226090483Suche in Google Scholar

[13] P. S. Jang and R. M. Wald, The positive energy conjecture and the cosmic censor hypothesis, J. Math. Phys. 18 (1977), 41–44. 10.1063/1.523134Suche in Google Scholar

[14] A. N. Koeller, On the singularity sets of minimal surfaces and a mean curvature flow, Ph.D. thesis, FU Berlin, 2007. Suche in Google Scholar

[15] A. N. Koeller, Regularity of mean curvature flows with Neumann free boundary conditions, Calc. Var. Partial Differential Equations 43 (2012), no. 1–2, 265–309. 10.1007/s00526-011-0411-1Suche in Google Scholar

[16] B. Kotschwar and L. Ni, Local gradient estimates of p-harmonic functions, 1/H flow, and an entropy formula, Ann. Sci. Éc. Norm. Supér. (4) 42 (2009), 1–36. 10.24033/asens.2089Suche in Google Scholar

[17] O. A. Ladyženskaja and N. N. Ural’ceva, Linear and quasilinear elliptic equations, Math. Sci. Engin. 46, Academic Press, New York 1968. Suche in Google Scholar

[18] G. M. Lieberman, The Perron process applied to oblique derivative problems, Adv. Math. 55 (1985), 161–172. 10.1016/0001-8708(85)90019-2Suche in Google Scholar

[19] G. M. Lieberman, Intermediate Schauder estimates for oblique derivative problems, Arch. Ration. Mech. Anal. 93 (1986), no. 2, 129–134. 10.1007/BF00279956Suche in Google Scholar

[20] G. M. Lieberman, Mixed boundary value problems for elliptic and parabolic differential equations of second order, J. Math. Anal. Appl. 113 (1986), 422–440. 10.1016/0022-247X(86)90314-8Suche in Google Scholar

[21] G. M. Lieberman, Optimal Hölder regularity for mixed boundary value problems, J. Math. Anal. Appl. 143 (1989), 572–586. 10.1016/0022-247X(89)90061-9Suche in Google Scholar

[22] T. Marquardt, The inverse mean curvature flow for hypersurfaces with boundary, Ph.D. thesis, FU Berlin, 2012. Suche in Google Scholar

[23] T. Marquardt, Inverse mean curvature flow for star-shaped hypersurfaces evolving in a cone, J. Geom. Anal. 23 (2013), 1303–1313. 10.1007/s12220-011-9288-7Suche in Google Scholar

[24] U. Massari, Esistenza e regolarita delle ipersuperfici di curvatura media assegnata in ℝn, Arch. Ration. Mech. Anal. 55 (1974), 357–382. 10.1007/BF00250439Suche in Google Scholar

[25] R. Moser, The inverse mean curvature flow and p-harmonic functions, J. Eur. Math. Soc. (JEMS) 9 (2007), 77–83. 10.4171/JEMS/73Suche in Google Scholar

[26] R. Schoen and S.-T. Yau, On the proof of the positive mass conjecture in general relativity, Comm. Math. Phys. 65 (1979), 45–76. 10.1007/BF01940959Suche in Google Scholar

[27] F. Schulze, Nichtlineare Evolution von Hyperflächen entlang ihrer mittleren Krümmung, Ph.D. thesis, Universität Tübingen, 2002. Suche in Google Scholar

[28] F. Schulze, Nonlinear evolution by mean curvature and isoperimetric inequalities, J. Differential Geom. 79 (2008), 197–241. 10.4310/jdg/1211512640Suche in Google Scholar

[29] L. M. Simon, Lectures on geometric measure theory, Proc. Centre Math. Appl. Austral. Nat. Univ. 3, Australian National University, Canberra 1983. Suche in Google Scholar

[30] A. Stahl, Convergence of solutions to the mean curvature flow with a Neumann boundary condition, Calc. Var. Partial Differential Equations 4 (1996), no. 5, 421–441. 10.1007/BF01246150Suche in Google Scholar

[31] A. Stahl, Regularity estimates for solutions to the mean curvature flow with a Neumann boundary condition, Calc. Var. Partial Differential Equations 4 (1996), no. 4, 385–407. 10.1007/BF01190825Suche in Google Scholar

[32] I. Tamanini, Boundaries of Caccioppoli sets with Hölder-continuous normal vector, J. reine angew. Math. 334 (1982), 27–39. 10.1515/crll.1982.334.27Suche in Google Scholar

[33] J. Urbas, On the expansion of starshaped hypersurfaces by symmetric functions of their principal curvatures, Math. Z. 205 (1990), 355–372. 10.1007/BF02571249Suche in Google Scholar

[34] A. Volkmann, Free boundary problems governed by mean curvature, Ph.D. thesis, FU Berlin, 2014. Suche in Google Scholar

[35] V. Vulcanov, Mean curvature flow of graphs with free boundaries, Ph.D. thesis, FU Berlin, 2011. Suche in Google Scholar

Received: 2014-4-30
Revised: 2014-8-31
Published Online: 2015-1-20
Published in Print: 2017-7-1

© 2017 Walter de Gruyter GmbH, Berlin/Boston

Artikel in diesem Heft

  1. Frontmatter
  2. Formal pseudodifferential operators and Witten’s r-spin numbers
  3. Characteristic classes of symmetric products of complex quasi-projective varieties
  4. The ε - εβ property, the boundedness of isoperimetric sets in ℝN with density, and some applications
  5. Segre numbers, a generalized King formula, and local intersections
  6. The μ-ordinary Hasse invariant of\break unitary Shimura varieties
  7. Equivariant character correspondences and inductive McKay condition for type A
  8. Euler characteristic on noncommutative polyballs
  9. Weak solutions of inverse mean curvature flow for hypersurfaces with boundary
  10. Galois lattices and strongly divisible lattices in the unipotent case
  11. Erratum to Holomorphic one-forms, integral and rational points on complex hyperbolic surfaces (J. reine angew. Math. 697 (2014), 1–14)
https://doi.org/10.1515/crelle-2014-0116

Artikel in diesem Heft

  1. Frontmatter
  2. Formal pseudodifferential operators and Witten’s r-spin numbers
  3. Characteristic classes of symmetric products of complex quasi-projective varieties
  4. The ε - εβ property, the boundedness of isoperimetric sets in ℝN with density, and some applications
  5. Segre numbers, a generalized King formula, and local intersections
  6. The μ-ordinary Hasse invariant of\break unitary Shimura varieties
  7. Equivariant character correspondences and inductive McKay condition for type A
  8. Euler characteristic on noncommutative polyballs
  9. Weak solutions of inverse mean curvature flow for hypersurfaces with boundary
  10. Galois lattices and strongly divisible lattices in the unipotent case
  11. Erratum to Holomorphic one-forms, integral and rational points on complex hyperbolic surfaces (J. reine angew. Math. 697 (2014), 1–14)
Jetzt anmelden und 20% sparen
Institutioneller Zugang
Wie funktioniert Authentifizierung?
Haben Sie eine Idee, wie wir unsere Website verbessern können?
Bitte schreiben Sie uns.
© 2025 De Gruyter Brill
Heruntergeladen am 23.10.2025 von https://www.degruyterbrill.com/document/doi/10.1515/crelle-2014-0116/html
Button zum nach oben scrollen