Showing 1–36 of 36 results for author: Spolaor, L

Structure of two-dimensional mod$(q)$ area-minimizing currents near flat singularities: the codimension one case

Authors: Anna Skorobogatova, Luca Spolaor, Salvatore Stuvard

Abstract: We obtain a fine structural result for two-dimensional mod$(q)$ area-minimizing currents of codimension one, close to flat singularities. Precisely, we show that, locally around any such singularity, the current is a $C^{1,α}$-perturbation of the graph of a radially homogeneous special multiple-valued function that arises from a superposition of homogeneous harmonic polynomials. Additionally, as a… ▽ More We obtain a fine structural result for two-dimensional mod$(q)$ area-minimizing currents of codimension one, close to flat singularities. Precisely, we show that, locally around any such singularity, the current is a $C^{1,α}$-perturbation of the graph of a radially homogeneous special multiple-valued function that arises from a superposition of homogeneous harmonic polynomials. Additionally, as a preliminary step towards an analogous result in arbitrary codimension, we prove in general that the set of flat singularities of density $\frac{q}{2}$, where the current is ``genuinely mod$(q)$", consists of isolated points. △ Less

Submitted 21 June, 2025; originally announced June 2025.

Comments: 21 pages; any comments are appreciated

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

Rectifiability of the singular set and uniqueness of tangent cones for semicalibrated currents

Authors: Paul Minter, Davide Parise, Anna Skorobogatova, Luca Spolaor

Abstract: We prove that the singular set of an $m$-dimensional integral current $T$ in $\mathbb{R}^{n + m}$, semicalibrated by a $C^{2, κ_0}$ $m$-form $ω$ is countably $(m - 2)$-rectifiable. Furthermore, we show that there is a unique tangent cone at $\mathcal{H}^{m - 2}$-a.e. point in the interior singular set of $T$. Our proof adapts techniques that were recently developed in [DLS23a, DLS23b, DLMS23] for… ▽ More We prove that the singular set of an $m$-dimensional integral current $T$ in $\mathbb{R}^{n + m}$, semicalibrated by a $C^{2, κ_0}$ $m$-form $ω$ is countably $(m - 2)$-rectifiable. Furthermore, we show that there is a unique tangent cone at $\mathcal{H}^{m - 2}$-a.e. point in the interior singular set of $T$. Our proof adapts techniques that were recently developed in [DLS23a, DLS23b, DLMS23] for area-minimizing currents to this setting. △ Less

Submitted 28 September, 2024; v1 submitted 4 September, 2024; originally announced September 2024.

Comments: References updated

Unique continuation for nonlinear variational problems

Authors: Lorenzo Ferreri, Luca Spolaor, Bozhidar Velichkov

Abstract: This paper is dedicated to the unique continuation properties of the solutions to nonlinear variational problems. Our analysis covers the case of nonlinear autonomous functionals depending on the gradient, as well as more general double phase and multiphase functionals with $(2,q)$-growth in the gradient. We show that all these cases fall in a class of nonlinear functionals for which we are able t… ▽ More This paper is dedicated to the unique continuation properties of the solutions to nonlinear variational problems. Our analysis covers the case of nonlinear autonomous functionals depending on the gradient, as well as more general double phase and multiphase functionals with $(2,q)$-growth in the gradient. We show that all these cases fall in a class of nonlinear functionals for which we are able to prove weak and strong unique continuation via the almost-monotonicity of Almgren's frequency formula. As a consequence, we obtain estimates on the dimension of the set of points at which both the solution and its gradient vanish. △ Less

Submitted 1 August, 2024; originally announced August 2024.

MSC Class: 35B40; 35J60

On the boundary branching set of the one-phase problem

Authors: Lorenzo Ferreri, Luca Spolaor, Bozhidar Velichkov

Abstract: We consider minimizers of the one-phase Bernoulli free boundary problem in domains with analytic fixed boundary. In any dimension $d$, we prove that the branching set at the boundary has Hausdorff dimension at most $d-2$. As a consequence, we also obtain an analogous estimate on the branching set for solutions to the two-phase problem under an analytic separation condition. Moreover, as a byproduc… ▽ More We consider minimizers of the one-phase Bernoulli free boundary problem in domains with analytic fixed boundary. In any dimension $d$, we prove that the branching set at the boundary has Hausdorff dimension at most $d-2$. As a consequence, we also obtain an analogous estimate on the branching set for solutions to the two-phase problem under an analytic separation condition. Moreover, as a byproduct of our analysis we obtain strong boundary unique continuation results for quasilinear operators and thin-obstacle variational inequalities. The approach we use is based on the (almost-)monotonicity of a boundary Almgren-type frequency function, obtained via regularity estimates and a Calderón-Zygmund decomposition in the spirit of Almgren-De Lellis-Spadaro. △ Less

Submitted 30 July, 2024; v1 submitted 21 July, 2024; originally announced July 2024.

MSC Class: 35R35; 35J57

On the fine structure of the solutions to nonlinear thin two-membrane problems in 2D

Authors: Lorenzo Ferreri, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove a structure theorem for the solutions of nonlinear thin two-membrane problems in dimension two. Using the theory of quasi-conformal maps, we show that the difference of the sheets is topologically equivalent to a solution of the linear thin obstacle problem, thus inheriting its free boundary structure. More precisely, we show that even in the nonlinear case the branching points can only o… ▽ More We prove a structure theorem for the solutions of nonlinear thin two-membrane problems in dimension two. Using the theory of quasi-conformal maps, we show that the difference of the sheets is topologically equivalent to a solution of the linear thin obstacle problem, thus inheriting its free boundary structure. More precisely, we show that even in the nonlinear case the branching points can only occur in finite number. We apply our methods to one-phase free boundaries approaching a fixed analytic boundary and to the solutions of a one-sided two-phase Bernoulli problem. △ Less

Submitted 9 May, 2024; originally announced May 2024.

Dimension of the singular set for $2$-valued stationary Lipschitz graphs

Authors: Jonas Hirsch, Luca Spolaor

Abstract: We prove that the singular set of a $2$-valued Lipschitz graph that is stationary for the area is of codimension $1$. We prove that the singular set of a $2$-valued Lipschitz graph that is stationary for the area is of codimension $1$. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Comments: Comments are welcome!

MSC Class: 49Q20; 35J99

Excess decay for minimizing hypercurrents mod $2Q$

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, Salvatore Stuvard

Abstract: We consider codimension $1$ area-minimizing $m$-dimensional currents $T$ mod an even integer $p=2Q$ in a $C^2$ Riemannian submanifold $Σ$ of the Euclidean space. We prove a suitable excess-decay estimate towards the unique tangent cone at every point $q\in \mathrm{spt} (T)\setminus \mathrm{spt}^p (\partial T)$ where at least one such tangent cone is $Q$ copies of a single plane. While an analogous… ▽ More We consider codimension $1$ area-minimizing $m$-dimensional currents $T$ mod an even integer $p=2Q$ in a $C^2$ Riemannian submanifold $Σ$ of the Euclidean space. We prove a suitable excess-decay estimate towards the unique tangent cone at every point $q\in \mathrm{spt} (T)\setminus \mathrm{spt}^p (\partial T)$ where at least one such tangent cone is $Q$ copies of a single plane. While an analogous decay statement was proved in arXiv:2111.11202 as a corollary of a more general theory for stable varifolds, in our statement we strive for the optimal dependence of the estimates upon the second fundamental form of $Σ$. This technical improvement is in fact needed in arXiv:2201.10204 to prove that the singular set of $T$ can be decomposed into a $C^{1,α}$ $(m-1)$-dimensional submanifold and an additional closed remaining set of Hausdorff dimension at most $m-2$. △ Less

Submitted 16 August, 2023; originally announced August 2023.

Comments: 74 pages, 1 figure. Comments are welcome!

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

Journal ref: Nonlinear Analysis, Volume 247, October 2024, 113606

The symmetric (log-)epiperimetric inequality and a decay-growth estimate

Authors: Nick Edelen, Luca Spolaor, Bozhidar Velichkov

Abstract: We introduce a symmetric (log-)epiperimetric inequality, generalizing the standard epiperimetric inequality, and we show that it implies a growth-decay for the associated energy: as the radius increases energy decays while negative and grows while positive. One can view the symmetric epiperimetric inequality as giving a log-convexity of energy, analogous to the 3-annulus lemma or frequency formula… ▽ More We introduce a symmetric (log-)epiperimetric inequality, generalizing the standard epiperimetric inequality, and we show that it implies a growth-decay for the associated energy: as the radius increases energy decays while negative and grows while positive. One can view the symmetric epiperimetric inequality as giving a log-convexity of energy, analogous to the 3-annulus lemma or frequency formula. We establish the symmetric epiperimetric inequality for some free-boundary problems and almost-minimizing currents, and give some applications including a ``propagation of graphicality'' estimate, uniqueness of blow-downs at infinity, and a local Liouville-type theorem. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 30 pages

Interior regularity for two-dimensional stationary $Q$-valued maps

Authors: Jonas Hirsch, Luca Spolaor

Abstract: We prove that $2$-dimensional $Q$-valued maps that are stationary with respect to outer and inner variations of the Dirichlet energy are Hölder continuous and that the dimension of their singular set is at most one. In the course of the proof we establish a strong concentration-compactness theorem for equicontinuous maps that are stationary with respect to outer variations only, and which holds in… ▽ More We prove that $2$-dimensional $Q$-valued maps that are stationary with respect to outer and inner variations of the Dirichlet energy are Hölder continuous and that the dimension of their singular set is at most one. In the course of the proof we establish a strong concentration-compactness theorem for equicontinuous maps that are stationary with respect to outer variations only, and which holds in every dimensions. △ Less

Submitted 25 May, 2024; v1 submitted 16 November, 2022; originally announced November 2022.

Comments: 21 pages. Comments are very welcome!

MSC Class: 49Q20; 35J99

A strong maximum principle for minimizers of the one-phase Bernoulli problem

Authors: Nick Edelen, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove a strong maximum principle for minimizers of the one-phase Alt-Caffarelli functional. We use this to construct a Hardt-Simon-type foliation associated to any 1-homogenous global minimizer. We prove a strong maximum principle for minimizers of the one-phase Alt-Caffarelli functional. We use this to construct a Hardt-Simon-type foliation associated to any 1-homogenous global minimizer. △ Less

Submitted 1 May, 2022; originally announced May 2022.

Fine structure of the singular set of area minimizing hypersurfaces modulo $p$

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, Salvatore Stuvard

Abstract: Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so tha… ▽ More Consider an area minimizing current modulo $p$ of dimension $m$ in a smooth Riemannian manifold of dimension $m+1$. We prove that its interior singular set is, up to a relatively closed set of dimension at most $m-2$, a $C^{1,α}$ submanifold of dimension $m-1$ at which, locally, $N\leq p$ regular sheets of the current join transversally, each sheet counted with a positive multiplicity $k_i$ so that $\sum_i k_i = p$. This completes the analysis of the structure of the singular set of area minimizing hypersurfaces modulo $p$, initiated by J. Taylor for $m=2$ and $p=3$ and extended by the authors to arbitrary $m$ and all odd $p$ in arXiv:2105.08135. We tackle the remaining case of even $p$ by showing that the set of singular points admitting a flat blow-up is of codimension at least two in the current. First, we prove a structural result for the singularities of minimizers in the linearized problem, by combining an epiperimetric inequality with an analysis of homogeneous minimizers to conclude that the corresponding degrees of homogeneity are always integers; second, we refine Almgren's blow-up procedure to prove that all flat singularities of the current persist as singularities of the $\mathrm{Dir}$-minimizing limit. An important ingredient of our analysis is the uniqueness of flat tangent cones at singular points, recently established by Minter and Wickramasekera in arXiv:2111.11202. △ Less

Submitted 4 February, 2022; v1 submitted 25 January, 2022; originally announced January 2022.

Comments: 44 pages. Comments are very welcome! In v2 we have strengthened the conclusions of Theorem 1.4

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

(Quasi-)conformal methods in two-dimensional free boundary problems

Authors: Guido De Philippis, Luca Spolaor, Bozhidar Velichkov

Abstract: In this paper we study the local behavior of solutions to some free boundary problems. We relate the theory of quasi-conformal maps to the regularity of the solutions to nonlinear thin-obstacle problems; we prove that the contact set is locally a finite union of intervals and we apply this result to the solutions of one-phase Bernoulli problems with geometric constraint. We also introduce a new co… ▽ More In this paper we study the local behavior of solutions to some free boundary problems. We relate the theory of quasi-conformal maps to the regularity of the solutions to nonlinear thin-obstacle problems; we prove that the contact set is locally a finite union of intervals and we apply this result to the solutions of one-phase Bernoulli problems with geometric constraint. We also introduce a new conformal hodograph transform, which allows to obtain the precise expansion at branch points of both the solutions to the one-phase problem with geometric constraint and a class of symmetric solutions to the two-phase problem, as well as to construct examples of free boundaries with cusp-like singularities. △ Less

Submitted 26 October, 2021; originally announced October 2021.

Rectifiability and almost everywhere uniqueness of the blow-up for the vectorial Bernoulli free boundaries

Authors: Guido De Philippis, Max Engelstein, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the recent techniques developed by Naber and Valtorta, the uniqueness part follows from the rectifiability and a new application of the Alt-Caffarelli-Friedman monoto… ▽ More We prove that for minimizers of the vectorial Alt-Caffarelli functional the two-phase singular set of the free boundary is rectifiable and the blow-up is unique almost everywhere on it. While the first conclusion is an application of the recent techniques developed by Naber and Valtorta, the uniqueness part follows from the rectifiability and a new application of the Alt-Caffarelli-Friedman monotonicity formula. △ Less

Submitted 8 August, 2021; v1 submitted 26 July, 2021; originally announced July 2021.

Area minimizing hypersurfaces modulo $p$: a geometric free-boundary problem

Authors: Camillo De Lellis, Jonas Hirsch, Andrea Marchese, Luca Spolaor, Salvatore Stuvard

Abstract: We consider area minimizing $m$-dimensional currents $\mathrm{mod}(p)$ in complete $C^2$ Riemannian manifolds $Σ$ of dimension $m+1$. For odd moduli we prove that, away from a closed rectifiable set of codimension $2$, the current in question is, locally, the union of finitely many smooth minimal hypersurfaces coming together at a common $C^{1,α}$ boundary of dimension $m-1$, and the result is opt… ▽ More We consider area minimizing $m$-dimensional currents $\mathrm{mod}(p)$ in complete $C^2$ Riemannian manifolds $Σ$ of dimension $m+1$. For odd moduli we prove that, away from a closed rectifiable set of codimension $2$, the current in question is, locally, the union of finitely many smooth minimal hypersurfaces coming together at a common $C^{1,α}$ boundary of dimension $m-1$, and the result is optimal. For even $p$ such structure holds in a neighborhood of any point where at least one tangent cone has $(m-1)$-dimensional spine. These structural results are indeed the byproduct of a theorem that proves (for any modulus) uniqueness and decay towards such tangent cones. The underlying strategy of the proof is inspired by the techniques developed by Leon Simon in "Cylindrical tangent cones and the singular set of minimal submanifolds" (J. Diff. Geom. 1993) in a class of multiplicity one stationary varifolds. The major difficulty in our setting is produced by the fact that the cones and surfaces under investigation have arbitrary multiplicities ranging from $1$ to $\lfloor \frac{p}{2}\rfloor$. △ Less

Submitted 13 September, 2021; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 102 pages, 6 figures. Comments are welcome! In v2 some typos are corrected, acknowledgments and addresses are added; in v3 we added, in the Introduction, a paragraph concerning the implications of Wickramasekera's work on stable varifolds for the topic of the present paper

MSC Class: 49Q15; 49Q20; 49Q05; 53A10

Quantitative Stability for Minimizing Yamabe Metrics

Authors: Max Engelstein, Robin Neumayer, Luca Spolaor

Abstract: On any closed Riemannian manifold of dimension $n\geq 3$, we prove that if a function nearly minimizes the Yamabe energy, then the corresponding conformal metric is close, in a quantitative sense, to a minimizing Yamabe metric in the conformal class. Generically, this distance is controlled quadratically by the Yamabe energy deficit. Finally, we produce an example for which this quadratic estimate… ▽ More On any closed Riemannian manifold of dimension $n\geq 3$, we prove that if a function nearly minimizes the Yamabe energy, then the corresponding conformal metric is close, in a quantitative sense, to a minimizing Yamabe metric in the conformal class. Generically, this distance is controlled quadratically by the Yamabe energy deficit. Finally, we produce an example for which this quadratic estimate is false. △ Less

Submitted 14 February, 2022; v1 submitted 29 September, 2020; originally announced September 2020.

Comments: 23 pages. Minor edits and clarifications as suggested by the referee and others. Final version, accepted to Trans. AMS

Singular behavior and generic regularity of min-max minimal hypersurfaces

Authors: Otis Chodosh, Yevgeny Liokumovich, Luca Spolaor

Abstract: We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurf… ▽ More We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{\rm Index}(Σ) \leq 1$$ where $\mathcal{S}_{nm}(Σ)$ denotes the set of singular points of $Σ$ with a unique tangent cone non-area minimizing on either side. △ Less

Submitted 29 March, 2022; v1 submitted 22 July, 2020; originally announced July 2020.

Comments: This is the publication version, incorporating the journal style

MSC Class: 53A10; 49Q05

Journal ref: Ars Inveniendi Analytica (2022), Paper No. 2, 27 pp

On the logarithmic epiperimetric inequality for the obstacle problem

Authors: Luca Spolaor, Bozhidar Velichkov

Abstract: We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given through the solution of an evolution problem on the sphere. We compare the competitors obtained in the different proofs and their relation to other… ▽ More We give three different proofs of the log-epiperimetric inequality at singular points for the obstacle problem. In the first, direct proof, we write the competitor explicitly; the second proof is also constructive, but this time the competitor is given through the solution of an evolution problem on the sphere. We compare the competitors obtained in the different proofs and their relation to other similar results that appeared recently. Finally, in the appendix, we give a general theorem, which can be applied also in other contexts and in which the construction of the competitor is reduced to finding a flow satisfying two differential inequalities. △ Less

Submitted 5 July, 2020; originally announced July 2020.

Regularity of the free boundary for the two-phase Bernoulli problem

Authors: Guido De Philippis, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove a regularity theorem for the free boundary of minimizers of the two-phase Bernoulli problem, completing the analysis started by Alt, Caffarelli and Friedman in the 80s. As a consequence, we also show regularity of minimizers of the multiphase spectral optimization problem for the principal eigenvalue of the Dirichlet Laplacian. We prove a regularity theorem for the free boundary of minimizers of the two-phase Bernoulli problem, completing the analysis started by Alt, Caffarelli and Friedman in the 80s. As a consequence, we also show regularity of minimizers of the multiphase spectral optimization problem for the principal eigenvalue of the Dirichlet Laplacian. △ Less

Submitted 13 November, 2019; v1 submitted 5 November, 2019; originally announced November 2019.

Comments: Minor typos corrected

Regularity of minimal surfaces near quadratic cones

Authors: Nick Edelen, Luca Spolaor

Abstract: Hardt-Simon proved that every area-minimizing hypercone $\mathbf{C}$ having only an isolated singularity fits into a foliation of $\mathbb{R}^{n+1}$ by smooth, area-minimizing hypersurfaces asymptotic to $\mathbf{C}$. In this paper we prove that if a stationary $n$-varifold $M$ in the unit ball $B_1 \subset \mathbb{R}^{n+1}$ lies sufficiently close to a minimizing quadratic cone (for example, the… ▽ More Hardt-Simon proved that every area-minimizing hypercone $\mathbf{C}$ having only an isolated singularity fits into a foliation of $\mathbb{R}^{n+1}$ by smooth, area-minimizing hypersurfaces asymptotic to $\mathbf{C}$. In this paper we prove that if a stationary $n$-varifold $M$ in the unit ball $B_1 \subset \mathbb{R}^{n+1}$ lies sufficiently close to a minimizing quadratic cone (for example, the Simons' cone $\mathbf{C}^{3,3}$), then $\mathrm{spt} M \cap B_{1/2}$ is a $C^{1,α}$ perturbation of either the cone itself, or some leaf of its associated foliation. In particular, we show that singularities modeled on these cones determine the local structure not only of $M$, but of any nearby minimal surface. Our result also implies the Bernstein-type result of Simon-Solomon, which characterizes area-minimizing hypersurfaces asymptotic to a quadratic cone as either the cone itself, or some leaf of the foliation. △ Less

Submitted 1 October, 2019; originally announced October 2019.

Comments: 34 pages, comments welcome

Almost everywhere uniqueness of blow-up limits for the lower dimensional obstacle problem

Authors: Maria Colombo, Luca Spolaor, Bozhidar Velichkov

Abstract: We answer a question left open in [Arch. Rat. Mech. Anal. 230 (1) (2018), 125-184] and [Arch. Rat. Mech. Anal. 230 (2) (2018), 783-784], by proving that the blow-up limit of minimizers $u$ of the lower dimensional obstacle problem is unique at generic point of the free-boundary. We answer a question left open in [Arch. Rat. Mech. Anal. 230 (1) (2018), 125-184] and [Arch. Rat. Mech. Anal. 230 (2) (2018), 783-784], by proving that the blow-up limit of minimizers $u$ of the lower dimensional obstacle problem is unique at generic point of the free-boundary. △ Less

Submitted 9 August, 2019; v1 submitted 4 August, 2019; originally announced August 2019.

The Riemannian Quantitative Isoperimetric Inequality

Authors: Otis Chodosh, Max Engelstein, Luca Spolaor

Abstract: We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric,… ▽ More We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the inequality is true generically. Moreover, we show that a modified (but sharp) version of the quantitative isoperimetric inequality holds for a real analytic metric, using the Lojasiewicz-Simon inequality. A main novelty of our work is that in all our results we do not require any a priori knowledge on the structure/shape of the minimizers. △ Less

Submitted 1 August, 2019; originally announced August 2019.

Comments: 28 pages. Comments welcome

Free boundary regularity for a multiphase shape optimization problem

Authors: Luca Spolaor, Baptiste Trey, Bozhidar Velichkov

Abstract: In this paper we prove a $C^{1,α}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As a consequence, we deduce the complete regularity of solutions of a multiphase shape optimization problem for the first eigenvalue of the Dirichlet-Laplacian up to th… ▽ More In this paper we prove a $C^{1,α}$ regularity result in dimension two for almost-minimizers of the constrained one-phase Alt-Caffarelli and the two-phase Alt-Caffarelli-Friedman functionals for an energy with variable coefficients. As a consequence, we deduce the complete regularity of solutions of a multiphase shape optimization problem for the first eigenvalue of the Dirichlet-Laplacian up to the fixed boundary. One of the main ingredient is a new application of the epiperimetric-inequality of Spolaor-Velichkov [CPAM, 2018] up to the boundary. While the framework that leads to this application is valid in every dimension, the epiperimetric inequality is known only in dimension two, thus the restriction on the dimension. △ Less

Submitted 16 October, 2018; originally announced October 2018.

On the asymptotic behavior of the solutions to parabolic variational inequalities

Authors: Maria Colombo, Luca Spolaor, Bozhidar Velichkov

Abstract: We consider various versions of the obstacle and thin-obstacle problems, we interpret them as variational inequalities, with non-smooth constraint, and prove that they satisfy a new constrained Lojasiewicz inequality. The difficulty lies in the fact that, since the constraint is non-analytic, the pioneering method of L. Simon (Ann. of Math. 118(3), 1983) does not apply and we have to exploit a bet… ▽ More We consider various versions of the obstacle and thin-obstacle problems, we interpret them as variational inequalities, with non-smooth constraint, and prove that they satisfy a new constrained Lojasiewicz inequality. The difficulty lies in the fact that, since the constraint is non-analytic, the pioneering method of L. Simon (Ann. of Math. 118(3), 1983) does not apply and we have to exploit a better understanding on the constraint itself. We then apply this inequality to two associated problems. First we combine it with an abstract result on parabolic variational inequalities, to prove the convergence at infinity of the strong global solutions to the parabolic obstacle and thin-obstacle problems to a unique stationary solution with a rate. Secondly, we give an abstract proof, based on a parabolic approach, of the epiperimetric inequality, which we then apply to the singular points of the obstacle and thin-obstacle problems. △ Less

Submitted 17 September, 2018; originally announced September 2018.

(Log-)epiperimetric inequality and regularity over smooth cones for almost Area-Minimizing currents

Authors: Max Engelstein, Luca Spolaor, Bozhidar Velichkov

Abstract: We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrabi… ▽ More We prove a new logarithmic epiperimetric inequality for multiplicity-one stationary cones with isolated singularity by flowing in the radial direction any given trace along appropriately chosen directions. In contrast to previous epiperimetric inequalities for minimal surfaces (e.g. those of Reifenberg, Taylor and White), we need no a priori assumptions on the structure of the cone (e.g. integrability). Moreover, if the cone is integrable (not only through rotations), we recover the classical epiperimetric inequality. As a consequence we deduce a new $\varepsilon$-regularity result for almost area-minimizing currents at singular points, where at least one blow-up is a multiplicity-one cone with isolated singularity. This result is similar to the one for stationary varifolds of Leon Simon, but independent from it since almost minimizers do not satisfy any equation. △ Less

Submitted 1 February, 2018; originally announced February 2018.

Journal ref: Geom. Topol. 23 (2019) 513-540

Uniqueness of the blow-up at isolated singularities for the Alt-Caffarelli functional

Authors: Max Engelstein, Luca Spolaor, Bozhidar Velichkov

Abstract: In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of… ▽ More In this paper we prove uniqueness of blow-ups and $C^{1,\log}$-regularity for the free-boundary of minimizers of the Alt-Caffarelli functional at points where one blow-up has an isolated singularity. We do this by establishing a (log-)epiperimetric inequality for the Weiss energy for traces close to that of a cone with isolated singularity, whose free-boundary is graphical and smooth over that of the cone in the sphere. With additional assumptions on the cone, we can prove a classical epiperimetric inequality which can be applied to deduce a $C^{1,α}$ regularity result. We also show that these additional assumptions are satisfied by the De Silva-Jerison-type cones, which are the only known examples of minimizing cones with isolated singularity. Our approach draws a connection between epiperimetric inequalities and the Łojasiewicz inequality, and, to our knowledge, provides the first regularity result at singular points in the one-phase Bernoulli problem. △ Less

Submitted 23 October, 2019; v1 submitted 28 January, 2018; originally announced January 2018.

Comments: 37 pages. To appear in Duke Math Journal

Journal ref: Duke Math. J. 169, no. 8 (2020), 1541-1601

The singular set of minimal surfaces near polyhedral cones

Authors: Maria Colombo, Nick Edelen, Luca Spolaor

Abstract: We adapt the method of Simon [JDG '93] to prove a $C^{1,α}$-regularity theorem for minimal varifolds which resemble a cone $\bf{C}_0^2$ over an equiangular geodesic net. For varifold classes admitting a "no-hole" condition on the singular set, we additionally establish $C^{1,α}$-regularity near the cone $\bf{C}_0^2 \times \mathbb R^m$. Combined with work of Allard [Ann. of Math. '72], Simon [JDG '… ▽ More We adapt the method of Simon [JDG '93] to prove a $C^{1,α}$-regularity theorem for minimal varifolds which resemble a cone $\bf{C}_0^2$ over an equiangular geodesic net. For varifold classes admitting a "no-hole" condition on the singular set, we additionally establish $C^{1,α}$-regularity near the cone $\bf{C}_0^2 \times \mathbb R^m$. Combined with work of Allard [Ann. of Math. '72], Simon [JDG '93], Taylor [Ann. of Math. '76], and Naber-Valtorta [Ann. of Math. '17], our result implies a $C^{1,α}$-structure for the top three strata of minimizing clusters and size-minimizing currents, and a Lipschitz structure on the $(n-3)$-stratum. △ Less

Submitted 28 September, 2017; originally announced September 2017.

Comments: 79 pages, 9 figures. Comments and suggestions are welcome!

Direct epiperimetric inequalities for the thin obstacle problem and applications

Authors: Maria Colombo, Luca Spolaor, Bozhidar Velichkov

Abstract: For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension… ▽ More For the thin obstacle problem, we prove by a new direct method that in any dimension the Weiss' energies with frequency $\frac32$ and $2m$, for $m\in \mathbb N$, satisfy an epiperimetric inequality, in the latter case of logarithmic type. In particular, at difference from the classical statements, we do not assume any a priori closeness to a special class of homogeneous functions. In dimension $2$, we also prove the epiperimetric inequality at any free boundary point. As a first application, we improve the set of admissible frequencies for blow ups, previously known to be $λ\in \{\frac32\} \cup [2,\infty)$, and we classify the global $λ$-homogeneous minimizers, with $λ\in [\frac32,2+c]\cup\bigcup_{m\in \mathbb N}(2m-c_m^-,2m+c_m^+)$, showing as a consequence that the frequencies $\frac32$ and $2m$ are isolated. Secondly, we give a short and self-contained proof of the regularity of the free boundary previously obtained by Athanasopoulos-Caffarelli-Salsa (Amer. J. Math., 130(2) (2008), 485-498) for regular points and Garofalo-Petrosyan (Invent. Math., 177(2) (2009), 415-461) for singular points, by means of an epiperimetric inequality of logarithmic type which applies for the first time also at all singular points of thin-obstacle free boundaries. In particular we improve the $C^1$ regularity of the singular set with frequency $2m$ by an explicit logarithmic modulus of continuity. △ Less

Submitted 10 September, 2017; originally announced September 2017.

A logarithmic epiperimetric inequality for the obstacle problem

Authors: Maria Colombo, Luca Spolaor, Bozhidar Velichkov

Abstract: For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a new tool, which we call logarithmic epiperimetric inequality, which yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of the singula… ▽ More For the general obstacle problem, we prove by direct methods an epiperimetric inequality at regular and singular points, thus answering a question of Weiss (Invent. Math., 138 (1999), 23--50). In particular at singular points we introduce a new tool, which we call logarithmic epiperimetric inequality, which yields an explicit logarithmic modulus of continuity on the $C^1$ regularity of the singular set, thus improving previous results of Caffarelli and Monneau. △ Less

Submitted 7 August, 2017; originally announced August 2017.

An epiperimetric inequality for the regularity of some free boundary problems: the $2$-dimensional case

Authors: Luca Spolaor, Bozhidar Velichkov

Abstract: Using a direct approach, we prove a $2$-dimensional epiperimetric inequality for the one-phase problem in the scalar and vectorial cases and for the double-phase problem. From this we deduce, in dimension $2$, the $C^{1,α}$ regularity of the free-boundary in the scalar one-phase and double-phase problems, and of the reduced free-boundary in the vectorial case, without any restriction on the sign o… ▽ More Using a direct approach, we prove a $2$-dimensional epiperimetric inequality for the one-phase problem in the scalar and vectorial cases and for the double-phase problem. From this we deduce, in dimension $2$, the $C^{1,α}$ regularity of the free-boundary in the scalar one-phase and double-phase problems, and of the reduced free-boundary in the vectorial case, without any restriction on the sign of the component functions. Furthermore we show that in the vectorial case the free boundary can end in a cusp. △ Less

Submitted 8 February, 2017; v1 submitted 5 December, 2016; originally announced December 2016.

Comments: 32 pages

Quantitative estimate on singularities in isoperimetric clusters

Authors: Maria Colombo, Luca Spolaor

Abstract: We prove a quantitative estimate on the number of certain singularities in almost minimizing clusters. In particular, we consider the singular points belonging to the lowest stratum of the Federer-Almgren stratification (namely, where each tangent cone does not split a $\R$) with maximal density. As a consequence we obtain an estimate on the number of triple junctions in $2$-dimensional clusters a… ▽ More We prove a quantitative estimate on the number of certain singularities in almost minimizing clusters. In particular, we consider the singular points belonging to the lowest stratum of the Federer-Almgren stratification (namely, where each tangent cone does not split a $\R$) with maximal density. As a consequence we obtain an estimate on the number of triple junctions in $2$-dimensional clusters and on the number of tetrahedral points in $3$ dimensions, that in turn implies that the boundaries of volume-constrained minimizing clusters form at most a finite number of equivalence classes modulo homeomorphism of the boundary, provided that the prescribed volumes vary in a compact set. The method is quite general and applies also to other problems: for instance, to count the number of singularities in a codimension 1 area-minimizing surface in $\R^8$. △ Less

Submitted 27 September, 2016; originally announced September 2016.

Comments: 13 pages

On the number of singular points for planar multivalued harmonic functions

Authors: Francesco Ghiraldin, Luca Spolaor

Abstract: In this note we give a quantitative estimate on the number of singular points of multiplicity $Q$ of a $2$-dimensional $Q$-valued energy minimizing map, in terms of the value of its frequency function. In this note we give a quantitative estimate on the number of singular points of multiplicity $Q$ of a $2$-dimensional $Q$-valued energy minimizing map, in terms of the value of its frequency function. △ Less

Submitted 8 January, 2016; originally announced January 2016.

Almgren's type regularity for Semicalibrated Currents

Authors: Luca Spolaor

Abstract: In analogy with Almgren's Theorem for area minimizing currents of general dimension and codimension, we prove that an $m$-dimensional semicalibrated current in a $(n+m)$-dimensional $C^{3,\varepsilon_0}$ manifold, semicalibrated by a $C^{2,\varepsilon_0}$ $m$-form, has singular set of Hausdorff dimension at most $m-2$. In analogy with Almgren's Theorem for area minimizing currents of general dimension and codimension, we prove that an $m$-dimensional semicalibrated current in a $(n+m)$-dimensional $C^{3,\varepsilon_0}$ manifold, semicalibrated by a $C^{2,\varepsilon_0}$ $m$-form, has singular set of Hausdorff dimension at most $m-2$. △ Less

Submitted 9 February, 2016; v1 submitted 24 November, 2015; originally announced November 2015.

Comments: Expanded introduction, some typos corrected. arXiv admin note: text overlap with arXiv:1508.05509

Regularity theory for $2$-dimensional almost minimal currents III: blowup

Authors: Camillo De Lellis, Emanuele Spadaro, Luca Spolaor

Abstract: We analyze the asymptotic behavior of a $2$-dimensional integral current which is almost minimizing in a suitable sense at a singular point. Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensiona… ▽ More We analyze the asymptotic behavior of a $2$-dimensional integral current which is almost minimizing in a suitable sense at a singular point. Our analysis is the second half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones. △ Less

Submitted 22 August, 2015; originally announced August 2015.

MSC Class: 49Q15; 49N60; 35B65; 35J47

Regularity theory for $2$-dimensional almost minimal currents II: branched center manifold

Authors: Camillo De Lellis, Emanuele Spadaro, Luca Spolaor

Abstract: We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross… ▽ More We construct a branched center manifold in a neighborhood of a singular point of a $2$-dimensional integral current which is almost minimizing in a suitable sense. Our construction is the first half of an argument which shows the discreteness of the singular set for the following three classes of $2$-dimensional currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones. △ Less

Submitted 4 September, 2017; v1 submitted 22 August, 2015; originally announced August 2015.

MSC Class: 49Q15; 49N60; 35B65; 35J47

Regularity theory for $2$-dimensional almost minimal currents I: Lipschitz approximation

Authors: Camillo De Lellis, Emanuele Spadaro, Luca Spolaor

Abstract: We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and… ▽ More We construct Lipschitz $Q$-valued functions which approximate carefully integral currents when their cylindrical excess is small and they are almost minimizing in a suitable sense. This result is used in two subsequent works to prove the discreteness of the singular set for the following three classes of $2$-dimensional integral currents: area minimizing in Riemannian manifolds, semicalibrated and spherical cross sections of $3$-dimensional area minimizing cones. △ Less

Submitted 10 June, 2016; v1 submitted 22 August, 2015; originally announced August 2015.

Comments: Revisited version for publication

MSC Class: 49Q15; 49N60; 35B65; 35J47

Uniqueness of tangent cones for $2$-dimensional almost minimizing currents

Authors: Camillo De Lellis, Emanuele Spadaro, Luca Spolaor

Abstract: We consider $2$-dimensional integer rectifiable currents which are almost area minimizing and show that their tangent cones are everywhere unique. Our argument unifies a few uniqueness theorems of the same flavor, which are all obtained by a suitable modification of White's original theorem for area minimizing currents in the euclidean space. This note is also the first step in a regularity progra… ▽ More We consider $2$-dimensional integer rectifiable currents which are almost area minimizing and show that their tangent cones are everywhere unique. Our argument unifies a few uniqueness theorems of the same flavor, which are all obtained by a suitable modification of White's original theorem for area minimizing currents in the euclidean space. This note is also the first step in a regularity program for semicalibrated $2$-dimensional currents and spherical cross sections of $3$-dimensional area minimizing cones. △ Less

Submitted 21 August, 2015; originally announced August 2015.

MSC Class: 49Q15; 49N60; 35B65; 35J47